From 1a4389b0018da5ccce12822047c9596c98629945 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 4 Oct 2006 07:29:16 +0000
Subject: [PATCH] Use $wgServer not $wgServerName. Don't use END for heredoc,
 it screws up my syntax highlighter.

---
 maintenance/fuzz-tester.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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.
-- 
2.20.1