From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 4 Oct 2006 07:29:16 +0000 (+0000)
Subject: Use $wgServer not $wgServerName. Don't use END for heredoc, it screws up my syntax... 
X-Git-Tag: 1.31.0-rc.0~55631
X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/operations/?a=commitdiff_plain;h=1a4389b0018da5ccce12822047c9596c98629945;p=lhc%2Fweb%2Fwiklou.git

Use $wgServer not $wgServerName. Don't use END for heredoc, it screws up my syntax highlighter.
---

diff --git a/maintenance/fuzz-tester.php b/maintenance/fuzz-tester.php
index 8e207b4276..23c3cd7c7a 100644
--- a/maintenance/fuzz-tester.php
+++ b/maintenance/fuzz-tester.php
@@ -160,7 +160,7 @@ include('commandLine.inc');
 
 // if the user asked for an explanation of command line options.
 if ( isset( $options["help"] ) ) {
-    print <<<END
+    print <<<ENDS
 MediaWiki $wgVersion fuzz tester
 Usage: php {$_SERVER["SCRIPT_NAME"]} [--quiet] [--base-url=<url-to-test-wiki>]
                            [--directory=<failed-test-path>] [--include-binary]
@@ -199,7 +199,7 @@ Example:
   php {$_SERVER["SCRIPT_NAME"]} --quiet --max-errors=100 --max-runtime=60
 
 
-END;
+ENDS;
 
     exit( 0 );
 }
@@ -224,7 +224,7 @@ if (!empty($options)) {
 if (!empty($options["base-url"])) {
     define("WIKI_BASE_URL", $options["base-url"]);
 } else {
-    define("WIKI_BASE_URL", $wgServerName . $wgScriptPath . '/');
+    define("WIKI_BASE_URL", $wgServer . $wgScriptPath . '/');
 }
 
 // The directory name where we store the output.