MediaWiki 1.14.0

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

diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index b889e1b8e57bcc0633918fe5de47246f5a4b0d0b..00278f51883c4018ac9ae02b5ec21066c11c0002 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' );
 
+/**
+ * @ingroup Maintenance
+ */
 class userOptions {
        public $mQuick;
        public $mQuiet;
@@ -249,4 +257,3 @@ WARN;
        }
 
 }
-?>