diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
| commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
| tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /maintenance/userOptions.php | |
| parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) | |
Update to MediaWiki 1.22.0
Diffstat (limited to 'maintenance/userOptions.php')
| -rw-r--r-- | maintenance/userOptions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php index 1e1f24b5..e0de3574 100644 --- a/maintenance/userOptions.php +++ b/maintenance/userOptions.php @@ -25,7 +25,7 @@ */ // This is a command line script, load tools and parse args -require_once( 'userOptions.inc' ); +require_once 'userOptions.inc'; // Load up our tool system, exit with usage() if options are not fine $uo = new userOptions( $options, $args ); |