// Values that can be used in other PHP code on the page
$paginate_num_pages = 23;
$paginate_num_sections = 115;
$paginate_page_selector = 'page';
$paginate_current_page = @$_GET['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 = 23;
elseif($paginate_current_page < 1)
$paginate_current_page = 1;
elseif($paginate_current_page > 23)
$paginate_current_page = 23;
$paginate_sections = array( 0
, 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115);
$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 = 115;
}
if(isset($_SERVER['QUERY_STRING'])) {
$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);
} else {
$paginate_self = '';
}
$paginate_self = basename($_SERVER['PHP_SELF']) . "?${paginate_self}page";
?>