MediaWiki 1.17.0

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

diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php
index cb460b718ac6d44fec2b6d1eb2e42f66ae5de6a5..597c6d4518f926e6d627f2699a2dba60cb573281 100644 (file)
--- a/maintenance/userOptions.php
+++ b/maintenance/userOptions.php
@@ -6,7 +6,9 @@
  *
  * Made on an original idea by Fooey (freenode)
  *
- * @author Ashar Voultoiz <hashar@altern.org>
+ * @file
+ * @ingroup Maintenance
+ * @author Ashar Voultoiz <hashar at free dot fr>
  */
 
 // This is a command line script, load tools and parse args