diff options
-rwxr-xr-x | check.php | 24 | ||||
-rw-r--r-- | index.html | 2 |
2 files changed, 14 insertions, 12 deletions
@@ -34,25 +34,25 @@ if ($cli) { <h2>Mirror repository metadata check</h2> <?php } -$repos = array( +$repos = [ 'enterprise/8' => 'Enterprise Linux 8', 'enterprise/7' => 'Enterprise Linux 7', 'enterprise/6' => 'Enterprise Linux 6', 'fedora/31' => 'Fedora 31', 'fedora/30' => 'Fedora 30', 'fedora/29' => 'Fedora 29', -); -$subs = array( +]; +$subs = [ 'remi', 'test', 'php56', -); -$archs = array( +]; +$archs = [ 'i386', 'x86_64', -); +]; -$mirrors = array( +$mirrors = [ 'http://remi.mirrors.arminco.com/', 'http://remi.conetix.com.au/', 'http://mirrors.neterra.net/remi/', @@ -109,9 +109,10 @@ $mirrors = array( 'https://mirrors.ptisp.pt/remi/', 'https://mirrors.chroot.ro/remi/', 'https://mirrors.upr.edu/remi/', - 'http://mirror.digitalnova.at/remi/' -); -$deprecated = array( + 'http://mirror.digitalnova.at/remi/', + 'http://mirror.yer.az/remi/', +]; +$deprecated = [ 'http://nl.mirror.babylon.network/remi/', 'http://fr.mirror.babylon.network/remi/', 'http://ca.mirror.babylon.network/remi/', @@ -131,7 +132,8 @@ $deprecated = array( 'http://mirror.1000mbps.com/remi/', 'http://mirrors.hustunique.com/remi/', 'http://mirror.pw/remi/', -); +]; + function getRepoTime($uri) { $ctx = stream_context_create([ 'http' => [ @@ -55,7 +55,7 @@ But maintaining this web site also have a cost.</p> <p class="msg"> --> - <h2>Next year <strong>Web hosting</strong> budget, until September 2021: + <h2>Next year <strong>Web hosting</strong> budget, until October 2021: <!-- <progress max="500" value="500">100%</progress> <strong>100% of 500€</strong> --> |