5 <title
>Replicator
</title
>
6 <link rel
="stylesheet" href
="concise/css/concise.min.css">
7 <link href
='//fonts.googleapis.com/css?family=Droid+Sans' rel
='stylesheet' type
='text/css'>
8 <meta name
="viewport" content
="width=device-width, initial-scale=1">
13 background
: rgba(0,128,196,0.5);
20 text
-decoration
: none
;
24 text
-shadow
: grey
0 0 .1em
;
28 text
-shadow
: white
0 0 .2em
;
31 list-style
-type
: circle
;
38 <h1
class="container">
39 <a href
="?"><big
>Replicator
</big
></a
><br
>
40 <small
>Replicating PECL releases
as pharext packages since
2015</small
>
44 <div
class="container">
45 <?php
$packages = array_map("basename", glob("phars/*")); ?
>
47 <?php
if ($_SERVER["QUERY_STRING"] && in_array($_SERVER["QUERY_STRING"], $packages, true)) : ?
>
49 <h2
><?
= $package = $_SERVER["QUERY_STRING"]; ?
></h2
>
50 <table
class="table table-full">
53 <th
class="text-left">Package
</th
>
54 <th
class="text-left">Date
</th
>
55 <th
class="text-right">Size
</th
>
59 <?php
foreach (array_reverse(glob("phars/$package/*.ext.phar*")) as $phar) : ?
>
61 <td
class="text-left"><a href
="<?= htmlspecialchars($phar) ?>"
62 ><?
= htmlspecialchars(basename($phar)) ?
></a
>
64 <td
class="text-left">
69 $lmod = filemtime($phar);
70 $days = [1 => "today", "yesterday"];
72 for ($i = 1; $i < 7; ++
$i) {
73 if ($lmod > $time - $dsec * $i) {
87 echo date("Y-m-d", $lmod);
92 <td
class="text-right">
95 $u = ["Bytes", "KB", "MB"];
97 $l = floor(log10($s));
98 printf("%1.1F %s\n", $s/pow(10,$l-($l%3
)), $u[$l/3]);
108 <h2
>Available Packages
</h2
>
109 <ul
class="list-inline">
110 <?php
foreach (array_map("htmlspecialchars", $packages) as $index => $package) : ?
>
111 <?php
$next = strtolower($package{0}); ?
>
112 <?php
if (isset($prev) && $next != $prev) : ?
>
115 <ul
class="list-inline">
118 <li
><a href
="?<?= $package ?>"><?
= $package ?
></a
></li
>
119 <?php
$prev = $next; ?
>