MediaWiki 1.15.0

[autoinstallsdev/mediawiki.git] / maintenance / fuzz-tester.php

diff --git a/maintenance/fuzz-tester.php b/maintenance/fuzz-tester.php
index 1ca496aeb2fc990619dc7d82d1e1c6d58ed39bdf..9c1ddaff294b3d3173480c50ec159330596cf2bd 100644 (file)
--- a/maintenance/fuzz-tester.php
+++ b/maintenance/fuzz-tester.php
@@ -169,7 +169,7 @@ TODO:
 /////////////////////////// COMMAND LINE HELP ////////////////////////////////////
 
 // This is a command line script, load MediaWiki env (gives command line options);
-include('commandLine.inc');
+require('commandLine.inc');
 
 // if the user asked for an explanation of command line options.
 if ( isset( $options["help"] ) ) {