remove http://remi.mirrors.arminco.com/

1 files changed, 1 insertions, 1 deletions

diff --git a/check.php b/check.php
index 53457a45..4acab7aa 100755
--- a/check.php
+++ b/check.php
@@ -53,7 +53,6 @@ $archs = [
 ];
 
 $mirrors = [
-	'http://remi.mirrors.arminco.com/', 
 	'http://remi.conetix.com.au/',
 	'http://mirrors.neterra.net/remi/',
 	'http://remi.schlundtech.de/',
@@ -115,6 +114,7 @@ $mirrors = [
 	'https://muug.ca/mirror/remi/',
 ];
 $deprecated = [
+	'http://remi.mirrors.arminco.com/',
 	'http://mirror.reconn.ru/remi/',
 	'https://mirror.serverion.com/remi/',
 	'http://mirror.innosol.asia/remi/',