diff options
| author | Tim Starling <tstarling@users.mediawiki.org> | 2006-10-04 07:29:16 +0000 |
|---|---|---|
| committer | Tim Starling <tstarling@users.mediawiki.org> | 2006-10-04 07:29:16 +0000 |
| commit | 1a4389b0018da5ccce12822047c9596c98629945 (patch) | |
| tree | e9a636c7f11a45b7f02cc253b1bb54983cc785ab /maintenance/fuzz-tester.php | |
| parent | 94eb70b5296b40418bcf20214fb36ab7af2d3585 (diff) | |
| download | mediawikicore-1a4389b0018da5ccce12822047c9596c98629945.tar.gz mediawikicore-1a4389b0018da5ccce12822047c9596c98629945.zip | |
Use $wgServer not $wgServerName. Don't use END for heredoc, it screws up my syntax highlighter.
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/16786
Diffstat (limited to 'maintenance/fuzz-tester.php')
| -rw-r--r-- | maintenance/fuzz-tester.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintenance/fuzz-tester.php b/maintenance/fuzz-tester.php index 8e207b42767b..23c3cd7c7aec 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. |