diff options
Diffstat (limited to 'check.php')
| -rwxr-xr-x | check.php | 4 | 
1 files changed, 4 insertions, 0 deletions
@@ -100,6 +100,9 @@ $mirrors = [  	'https://muug.ca/mirror/remi/',  	'https://mirror.netzwerge.de/remi/',  ]; +$testing = [ +	'https://pit1.mirror.jurassicinnovations.com/remi/', +];  $disabled = [  	'https://remi.mivzakim.net/',		// 2024-04-03  	'https://mirror.usi.edu/pub/remi/',	// 2024-04-03 @@ -195,6 +198,7 @@ if (!$cli) {  }  $pids = array();  $ref = getRepoTime($full); +$mirrors = array_merge($mirrors, $testing);  if ($ref) {  	if (!$cli) echo "<ul class='pkglist'>\n";  	if (isset($_SERVER['argv'][1])) {  | 
