Clarify pagination links.

[readifood.git] / lib / functions.php

diff --git a/lib/functions.php b/lib/functions.php
index 6a39ddd..34b23c7 100644 (file)
--- a/lib/functions.php
+++ b/lib/functions.php
@@ -21,6 +21,52 @@
     return array($name, $id, $args);
   }
 
+  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";
+  }
+
   function get_city_by_name($name, $postcode_area = null, $verbose = true) {
     $q = new CityQuery;