gh-pages: add filesize and committer date

See https://git-scm.com/docs/pretty-formats

Author: benno5020

build/generate_phars_list.php

@@ -41,6 +41,14 @@ function indent (int $level): string
     return $output;
 }
 
+function humanReadableFilesize($file) {
+    $bytes = filesize($file);
+
+    $units = ['B', 'K', 'M', 'G'];
+    $factor = floor((strlen($bytes) - 1) / 3);
+    return sprintf("%.1f", $bytes / pow(1024, $factor)) . $units[(int) $factor];
+}
+
 $html = "<ul class=\"phar-list\">\n";
 
 foreach ($filesGroupedByVersion as $version => $files) {
@@ -51,7 +59,10 @@ function indent (int $level): string
     indent(4) . "<ul class=\"phar-list__files\">\n";
 
     foreach ($files as $file) {
-        $html .= indent(5) . "<li><a download href=\"phars/" . htmlspecialchars($file) . '">' . htmlspecialchars($file) . "</a></li>\n";
+        $fileSize = humanReadableFilesize($pharDir . '/' . $file);
+        $lastModifiedDate = shell_exec(escapeshellcmd("git log -1 --pretty=\"format:%cs\" -- " . $pharDir . '/' . $file));
+
+        $html .= indent(5) . "<li><a download href=\"/phars/" . htmlspecialchars($file) . '">' . htmlspecialchars($file) . "</a> <span class=\"phar-list__filesize\">" . htmlspecialchars($fileSize) . " | " . htmlspecialchars($lastModifiedDate) . "</span></li>\n";
     }
 
     $html .= indent(4) . "</ul>\n" .

src/styles.css

@@ -191,4 +191,10 @@ body {
     * + * {
         margin-top: 0.25rem;
     }
+ }
+
+ .phar-list__filesize {
+    color: color-mix(in srgb, var(--foreground-color), #6b7280);
+    font-size: 0.8em;
+    margin-left: 0.25rem;
  }