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

[Gabor Hojtsy]

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.1r2=1.2ty=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,

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

[Nuno Lopes]

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.1r2=1.2ty=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, 

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.1r2=1.2ty=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, 

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

[Nuno Lopes]

nlopess Fri Sep  3 07:23:28 2004 EDT

  Modified files:  
/phpdoc/htmlhelp/suppfiles/prefsphp_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.1r2=1.2ty=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,