From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 15 Aug 2008 01:29:47 +0200
Subject: Update auf 1.13.0

---
 maintenance/userOptions.inc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'maintenance/userOptions.inc')

diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index b889e1b8..00278f51 100644
--- 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;
 	}
 
 }
-?>
-- 
cgit v1.2.3-54-g00ecf