improve mirrorlist function

+ it now returns a shuffled list of ten mirrors with priority:
    within the country, then continent and others
+ exclude source server (distrib-coffee.ipsl.jussieu.fr) to drop it's DL load
    as a first choice in ISO and doc DL page and entirely from mirrorlist
+ some small bugfixes noted during testing
+ added some small code doc parts
+ some small code style polish

1 files changed, 1 insertions, 0 deletions

diff --git a/en/downloads/get/index.php b/en/downloads/get/index.php
index 4583b82f3..34826e7b9 100644
--- a/en/downloads/get/index.php
+++ b/en/downloads/get/index.php
@@ -34,6 +34,7 @@
 */
 
 require 'lib.php';
+require_once '../../../lib/mga_geoip.php';
 
 // request
 $product = get('q');