diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
| commit | 222b01f5169f1c7e69762e0e8904c24f78f71882 (patch) | |
| tree | 8e932e12546bb991357ec48eb1638d1770be7a35 /maintenance/userOptions.inc | |
| parent | 00ab76a6b686e98a914afc1975812d2b1aaa7016 (diff) | |
update to MediaWiki 1.16.0
Diffstat (limited to 'maintenance/userOptions.inc')
| -rw-r--r-- | maintenance/userOptions.inc | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc index 00278f51..d660019d 100644 --- a/maintenance/userOptions.inc +++ b/maintenance/userOptions.inc @@ -8,7 +8,7 @@ $options = array( 'list', 'nowarn', 'quiet', 'usage', 'dry' ); $optionsWithArgs = array( 'old', 'new' ); -require_once( 'commandLine.inc' ); +require_once( dirname(__FILE__) . '/commandLine.inc' ); /** * @ingroup Maintenance @@ -246,13 +246,7 @@ Users with option <$this->mAnOption> = '$this->mOldValue' will be made to use '$ Abort with control-c in the next five seconds.... WARN; - require('counter.php'); - for ($i=6;$i>=1;) { - print_c($i, --$i); - sleep(1); - } - print "\n"; - + wfCountDown( 5 ); return true; } |