diff options
Diffstat (limited to 'maintenance/fuzz-tester.php')
-rw-r--r-- | maintenance/fuzz-tester.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/fuzz-tester.php b/maintenance/fuzz-tester.php index 1ca496ae..9c1ddaff 100644 --- 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"] ) ) { |