Re: cvs: phpdoc /htmlhelp/suppfiles/prefs php_manual_prefs.js

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",