<?php

/**
 * @author Fathoni <m.fathoni@mail.com>
 * @property int $program_id
 * @property User_model $user
 * @property PerguruanTinggi_model $perguruan_tinggi
 * @property Kegiatan_model $kegiatan
 */
class Frontend_Session extends CI_Session
{
	
}
