+ function pagination() {
+ $offset = 0;
+ $per_page = $GLOBALS['default_page_size'];
+
+ parse_str($_SERVER['QUERY_STRING'], $params);
+ if (array_key_exists('page', $params)) if (is_numeric($params['page'])) $offset = $params['page'] - 1;
+ if (array_key_exists('size', $params)) if (is_numeric($params['size'])) $per_page = $params['size'];
+
+ return array($offset, $per_page);
+ }
+
+ function page_link($alt, $n, $cur, $max, $size) {
+ $links = array();
+ if ($n < 1 || $n == $cur || $n > $max) return $alt;
+ $params = array('page' => $n);
+ if ($size != $GLOBALS['default_page_size']) $params['size'] = $size;
+ $url = http_build_query($params);
+ return "<a href=\"?$url\">$alt</a> ";
+ }
+
+ function show_pagination($pager, $n = 5) {
+ if (! $pager->haveToPaginate()) return;
+
+ list($offset, $per_page) = pagination();
+ $offset++;
+
+ $links = array();
+
+ $pages = ceil($pager->getNbResults() / $per_page);
+ $pages++;
+
+ $links[] = page_link('First', 1, $offset, $pages, $per_page);
+ $links[] = page_link('Previous', $offset - 1, $offset, $pages, $per_page);
+ foreach ($pager->getLinks($n) as $link) $links[] = page_link($link, $link, $offset, $pages, $per_page);
+ $links[] = page_link('Next', $offset + 1, $offset, $pages, $per_page);
+ $links[] = page_link('Last', $pages, $offset, $pages, $per_page);
+
+ echo "<p>Page: ";
+ echo implode(' / ', $links);
+ echo "</p>\n";
+ }
+