admin/commits: smaller page size on login
authorMischa POSLAWSKY <perl@shiar.org>
Tue, 12 Dec 2017 20:56:28 +0000 (21:56 +0100)
committerMischa POSLAWSKY <perl@shiar.org>
Tue, 12 Dec 2017 21:13:46 +0000 (22:13 +0100)
Option ?pagesize to customise. Prefer later page number on change.

admin/commits.php
login.php

index 2f2b642e59cd299ee5c254d80ff004e9e4ab7521..11aae67c320ac6f2ac082a3a54b64d2761db75d5 100644 (file)
@@ -1,5 +1,5 @@
 <?php
-$pagesize = 20;
+$pagesize = intval(@$_GET['pagesize']) ?: 20;
 $gitcmd = "git log -n $pagesize --pretty='%at\t%an\t%s'";
 
 if ( $offset = intval(@$_GET['start']) ) {
@@ -22,7 +22,7 @@ if ( $log = popen($gitcmd, 'r') ) {
 
        $navbase = $Page == 'admin/commits' ? '?' : '/admin/commits?';
        $nav = [];
-       $nav[] = sprintf('Pagina %d', floor($offset / $pagesize) + 1);
+       $nav[] = sprintf('Pagina %d', ceil($offset / $pagesize) + 1);
        if ($lines >= $pagesize) {
                $nav[] = sprintf('<a href="%sstart=%d">%s</a>', $navbase, $offset + $pagesize, 'eerder');
        }
index fd1cba165c9c376831043333eb32e8cd60c33ec9..a9291a1e7b01673c89635efdbe8d983755ce73ec 100644 (file)
--- a/login.php
+++ b/login.php
@@ -36,5 +36,6 @@ if (isset($_GET['goto'])) {
 <?php
 if (!empty($User['admin'])) {
        print "<h3>Laatste aanpassingen</h3>\n";
+       $_GET['pagesize'] = 10;
        include_once 'admin/commits.php';
 }