function &get_dataset(&$counter, $params) { $items = session_history_manager::fetch(); return new array_dataset($items); }