From da59c141374cb3acc6dd8abf1787b5ebccfbc1ba Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Mon, 6 Jun 2016 07:09:31 +0200 Subject: [PATCH] toggle old versions display --- public/html.php | 40 ++++++++++++++++++++++++++++++++++++---- 1 file changed, 36 insertions(+), 4 deletions(-) diff --git a/public/html.php b/public/html.php index e93122b..5222f9d 100644 --- a/public/html.php +++ b/public/html.php @@ -1,6 +1,6 @@ @@ -101,7 +104,7 @@ ob_start($res);

- +
@@ -112,9 +115,9 @@ ob_start($res); - $phars) : ?> + $phars) : ++$i; ?> list($phar, $date, $size, $pharext)) : ?> - + NCURRENT) : ?>class="old-version"id="old">
Package
@@ -144,6 +147,14 @@ ob_start($res);
+ = 3) : ?> +

+ Show + older version(s) » + Show + less versions « +

+

Available Packages

@@ -217,6 +228,27 @@ gpg --verify \ +