Re: [PHP-DOC] cvs: phpdoc /htmlhelp/suppfiles/prefs php_manual_prefs.js

[Gabor Hojtsy]

Ehem, I remember there used to be some protection to not let the www 
mirror be selected. Maybe it is in the exe, so that even if you have the 
www mirror in the list, it is not shown.

Anyway, it might no be that bad an idea to include the www, so it is 
probably not a big deal.

Goba
But the www mirror is shown as a selection, as it is included in the 
mirrors.inc file. Or do you want me to remove it?

Nuno
----- Original Message -----
No, please! The www mirror is intentionally left out from the 
selection list, so only real mirrors are selectable. Please pick 
another mirror site instead.

Goba
nlopess Fri Sep  3 07:23:28 2004 EDT
  Modified files:              /phpdoc/htmlhelp/suppfiles/prefs 
php_manual_prefs.js Log:
  use the main www mirror as the us mirror isnt valid anymore

http://cvs.php.net/diff.php/phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js?r1=1.1&r2=1.2&ty=u 

Index: phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js
diff -u phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js:1.1 
phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js:1.2
--- phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js:1.1 Thu Dec 
26 14:14:47 2002
+++ phpdoc/htmlhelp/suppfiles/prefs/php_manual_prefs.js Fri Sep  3 
07:23:27 2004
@@ -1,5 +1,5 @@
 prefs_online  = true;
-prefs_mirror  = "http://us.php.net/";;
+prefs_mirror  = "http://www.php.net/";;
 prefs_context_override = true;
 prefs_context_names = Array(
     "Manual TOC",