// Values that can be used in other PHP code on the page
$paginate_num_pages = 1;
$paginate_num_sections = 10;
$paginate_page_selector = 'page';
$paginate_current_page = $page;
// Pin page selector to a valid number (or 'all')
if($paginate_current_page=='')
$paginate_current_page = '1';
if($paginate_current_page != 'all') {
if($paginate_current_page == 'first')
$paginate_current_page = 1;
elseif($paginate_current_page == 'last')
$paginate_current_page = 1;
elseif($paginate_current_page < 1)
$paginate_current_page = 1;
elseif($paginate_current_page > 1)
$paginate_current_page = 1;
$paginate_sections = array( 0
, 10);
$paginate_top_section = $paginate_sections[$paginate_current_page-1]+1;
$paginate_bottom_section = $paginate_sections[$paginate_current_page];
} else {
$paginate_top_section = 1;
$paginate_bottom_section = 10;
}
$paginate_self = '&' . $_SERVER['QUERY_STRING'] . '&';
$paginate_self = preg_replace("/&page=[^&]*&/", "&", $paginate_self);
$paginate_self = substr($paginate_self, 1, strlen($paginate_self) - 1);
if($paginate_self == '&')
$paginate_self = '';
else
$paginate_self = htmlentities($paginate_self);
$paginate_self = basename($_SERVER['PHP_SELF']) . "?${paginate_self}page";
?>