+ function pagination() {
+ $first_page = 1;
+ $per_page = $GLOBALS['default_page_size'];
+
+ parse_str($_SERVER['QUERY_STRING'], $params);
+ if (array_key_exists('page', $params)) if (is_numeric($params['page'])) $first_page = $params['page'];
+ if (array_key_exists('size', $params)) if (is_numeric($params['size'])) $per_page = $params['size'];
+
+ return array($first_page, $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($first_page, $per_page) = pagination();
+
+ $pages = ceil($pager->getNbResults() / $per_page);
+
+ /* Highlight the fact we skipped some pages. */
+ $linked_pages = $pager->getLinks($n);
+ $first_link = $linked_pages[0];
+ $last_link = end($linked_pages);
+
+ $links = array();
+ $links[] = page_link('First', 1, $first_page, $pages, $per_page);
+ $links[] = page_link('Previous', $first_page - 1, $first_page, $pages, $per_page);
+ if ($first_link > 1) $links[] = page_link('...', $first_page, $pages, $per_page);
+ foreach ($linked_pages as $link) $links[] = page_link($link, $link, $first_page, $pages, $per_page);
+ if ($last_link < $pages) $links[] = page_link('...', $first_page, $pages, $per_page);
+ $links[] = page_link('Next', $first_page + 1, $first_page, $pages, $per_page);
+ $links[] = page_link('Last', $pages, $first_page, $pages, $per_page);
+
+ echo "<p>Page: ";
+ echo implode(' / ', $links);
+ echo "</p>\n";
+ }
+