summaryrefslogtreecommitdiffstats
path: root/check.php
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2022-07-08 07:16:50 +0200
committerRemi Collet <remi@php.net>2022-07-08 07:16:50 +0200
commitd660eb68e30e099c3eb094447c02c11c21b213dd (patch)
treef66152a30cefbdb881062217361d66cd3d54e96e /check.php
parent9517242a9973ad0c4934e37c66dfe7ae77fdbb58 (diff)
add mirror.mangohost.net for test
Diffstat (limited to 'check.php')
-rwxr-xr-xcheck.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/check.php b/check.php
index e6eecba1..ce9b12fb 100755
--- a/check.php
+++ b/check.php
@@ -110,7 +110,8 @@ $mirrors = [
'https://mirror.dogado.de/remi/',
'https://mirror.docker.ru/remi/',
'https://repo.extreme-ix.org/remi/',
- 'https://mirror.usi.edu/pub/remi/'
+ 'https://mirror.usi.edu/pub/remi/',
+ 'https://mirror.mangohost.net/remi/',
];
$deprecated = [
'http://mirror.bebout.net/remi/',