MediaWiki 1.16.0

[autoinstallsdev/mediawiki.git] / maintenance / userOptions.inc

diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index b889e1b8e57bcc0633918fe5de47246f5a4b0d0b..d660019db1ee1074657ed6d0b785a2fbef4922b3 100644 (file)
--- a/maintenance/userOptions.inc
+++ b/maintenance/userOptions.inc
@@ -1,10 +1,18 @@
 <?php
+/**
+ * @file
+ * @ingroup Maintenance
+ */
+
 // Options we will use
 $options = array( 'list', 'nowarn', 'quiet', 'usage', 'dry' );
 $optionsWithArgs = array( 'old', 'new' );
 
-require_once( 'commandLine.inc' );
+require_once( dirname(__FILE__) . '/commandLine.inc' );
 
+/**
+ * @ingroup Maintenance
+ */
 class userOptions {
        public $mQuick;
        public $mQuiet;
@@ -238,15 +246,8 @@ 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;
        }
 
 }
-?>