As this is only used to redirect all old mirrors to www.php.net now, hardcode the mirror list instead of generating it from the master DB. Generating this doesn't seem particularly useful anymore, and this allows it to be adjusted without having root on master.
Output is based on what running the script currently produces.
As this is only used to redirect all old mirrors to www.php.net now, hardcode the mirror list instead of generating it from the master DB. Generating this doesn't seem particularly useful anymore, and this allows it to be adjusted without having root on master.
Output is based on what running the script currently produces.