diff options
author | Remi Collet <remi@remirepo.net> | 2022-07-08 07:16:50 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2022-07-08 07:16:50 +0200 |
commit | d660eb68e30e099c3eb094447c02c11c21b213dd (patch) | |
tree | f66152a30cefbdb881062217361d66cd3d54e96e /check.php | |
parent | 9517242a9973ad0c4934e37c66dfe7ae77fdbb58 (diff) |
add mirror.mangohost.net for test
Diffstat (limited to 'check.php')
-rwxr-xr-x | check.php | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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/', |