git.php: release assets link to local /releases/<tag>/... (GitHub-style per-version store); downloader script tools/fetch-releases.sh

.gitignore

@@ -32,3 +32,4 @@
 # source browser cache clone
 web/.src/
 web/git/
+web/releases/

tools/fetch-releases.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# Download every PMM release asset (except the huge mirror.zip snapshots) into
+# web/releases/<tag>/ so the git.php Releases page links to this server.
+set -u
+REPO=JGZYES/ParlzPackageManger
+DEST="web/releases"
+PATTERNS=(-p 'pmm' -p 'pmm.exe' -p 'pmm-*.zip' -p 'install.sh' -p '*_amd64.deb' -p '*_amd64.rpm' -p '*.pdm' -p 'pdm' -p 'pdm.exe')
+mkdir -p "$DEST"
+for tag in $(gh api "repos/$REPO/releases" --paginate -q '.[].tag_name'); do
+  echo "== $tag =="
+  mkdir -p "$DEST/$tag"
+  gh release download "$tag" -R "$REPO" -D "$DEST/$tag" "${PATTERNS[@]}" 2>&1 | tail -1 || echo "  (skip/err $tag)"
+done
+echo "done. Total: $(find "$DEST" -type f | wc -l) files, $(du -sh "$DEST" | cut -f1)"

web/git.php

@@ -72,12 +72,17 @@ function gh_api(string $url): array {
     return is_array($d) ? $d : [];
 }
 /* Prefer a local copy of a release asset on this server; fall back to GitHub. */
-function local_asset(string $name): ?string {
+/* Prefer a local copy of a release asset (web/releases/<tag>/, web/downloads/,
-    $cands = [__DIR__ . '/downloads/' . $name, __DIR__ . '/mirror/packages/pmm/' . $name, __DIR__ . '/' . $name];
+ * web/mirror/, web root) on this server; fall back to GitHub. */
+function local_asset(string $name, string $tag = ''): ?string {
+    $cands = [];
+    if ($tag !== '') $cands[] = __DIR__ . '/releases/' . $tag . '/' . $name;
+    $cands = array_merge($cands, [__DIR__ . '/downloads/' . $name, __DIR__ . '/mirror/packages/pmm/' . $name, __DIR__ . '/' . $name]);
     $base = realpath(__DIR__);
     foreach ($cands as $p) {
         if (@is_file($p)) {
             $rp = realpath($p);
+            if (strpos($rp, $base) !== 0) continue;
             return '/' . str_replace('\\', '/', substr(str_replace('\\', '/', $rp), strlen($base) + 1));
         }
     }
@@ -109,8 +114,8 @@ function render_releases(): void {
         <?php if ($assets): ?>
         <div class="rel-assets">
           <?php foreach ($assets as $a): ?>
-            <?php $local = local_asset((string)($a['name'] ?? '')); $href = $local ?: ($a['browser_download_url'] ?? '#'); ?>
+            <?php $local = local_asset((string)($a['name'] ?? ''), $tag); $href = $local ?: ($a['browser_download_url'] ?? '#'); ?>
-            <a class="rel-asset<?php echo $local ? ' local' : ''; ?>" href="<?php echo esc($href); ?>" target="_blank" rel="noopener">
+            <a class="rel-asset<?php echo $local ? ' local' : ''; ?>" href="<?php echo esc($href); ?>" target="_blank" rel="noopener"<?php if ($local) echo ' download'; ?>>
               <?php echo esc($a['name'] ?? 'asset'); ?> <span class="rel-size"><?php echo isset($a['size']) ? fmt_size((int)$a['size']) : ''; ?></span>
             </a>
           <?php endforeach; ?>