index 9c52b768c9044d714fc81ea9eef9820b53d6f744..fb7dc54588ad07c904bbf141e148490ed846beba 100644 (file)
$i_alternate=0;
if(isset($_GET['start'])){
- $_SESSION['start'.$this->pageid]=$_GET['start'];
+ session::set('start'.$this->pageid,$_GET['start']);
$start = $_GET['start'];
} else {
- if(isset($_SESSION['start'.$this->pageid])){
- $start = $_SESSION['start'.$this->pageid];
+ if(session::is_set('start'.$this->pageid)){
+ $start = session::get('start'.$this->pageid);
} else {
$start=0;
}