1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
<?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);
?>
|
