From adf4504fce4ed36a534dd22d3bfe2e6638ddd66a Mon Sep 17 00:00:00 2001 From: Romain d'Alverny Date: Mon, 29 Apr 2013 22:59:21 +0000 Subject: manual script to force update list of mirrors --- lib/Downloads.php | 3 +-- tools/update-mirrors-list.php | 8 ++++++++ 2 files changed, 9 insertions(+), 2 deletions(-) create mode 100644 tools/update-mirrors-list.php diff --git a/lib/Downloads.php b/lib/Downloads.php index 7d8026aa2..aef1dd185 100644 --- a/lib/Downloads.php +++ b/lib/Downloads.php @@ -96,9 +96,8 @@ class Downloads * * @return array */ - public static function get_all_mirrors() + public static function get_all_mirrors($prod = true) { - $prod = true; $cache_file = realpath(__DIR__ . '/cached.list.php'); if ($prod) { diff --git a/tools/update-mirrors-list.php b/tools/update-mirrors-list.php new file mode 100644 index 000000000..d9be85226 --- /dev/null +++ b/tools/update-mirrors-list.php @@ -0,0 +1,8 @@ +