mirror of
https://github.com/php/doc-base.git
synced 2026-03-24 07:12:14 +01:00
d04b9258b0
git-svn-id: https://svn.php.net/repository/phpdoc/doc-base/trunk@165846 c90b9560-bf6c-de11-be94-00142212c4b1
41 lines
957 B
PHP
41 lines
957 B
PHP
<?php
|
|
|
|
/*
|
|
This file is part of the Windows Compiled HTML Help
|
|
Manual Generator of the PHP Documentation project.
|
|
|
|
This script generates mirrors.ini from mirrors.inc ( can be
|
|
downloaded from http://MIRROR.php.net/include/mirrors.inc )
|
|
*/
|
|
|
|
// Load the mirrors file in
|
|
include_once "mirrors.inc";
|
|
|
|
// Get mirror site addresses
|
|
$mirrors = array_keys($MIRRORS);
|
|
|
|
// Write out mirror information
|
|
$fp = fopen($RELEASE_DIR . "/mirrors.ini", "w");
|
|
|
|
fwrite($fp,
|
|
"# =================================================
|
|
# PHP Manual CHM version mirror list configuration
|
|
# =================================================
|
|
|
|
# Possible mirrors for online functions (only those
|
|
# mirrors are listed, which were active when this
|
|
# list was generated)
|
|
|
|
[mirrors]
|
|
");
|
|
|
|
// Write out all active mirror sites
|
|
foreach ($MIRRORS as $mirror => $mirrorinfo) {
|
|
if ($mirrorinfo[7] == MIRROR_OK) {
|
|
fwrite($fp, "mirror = \"$mirror\"\n");
|
|
}
|
|
}
|
|
|
|
fclose($fp);
|
|
|
|
?>
|