From cecb985bee3bdd252e1b8dc0bd500b37cd52be01 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Wed, 16 May 2007 20:58:53 +0000
Subject: Aktualisierung auf MediaWiki 1.10.0 Plugins angepasst und verbessert
 kleine Korrekturen am Design

---
 maintenance/renderDump.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'maintenance/renderDump.php')

diff --git a/maintenance/renderDump.php b/maintenance/renderDump.php
index 10986f2c..5cb79c53 100644
--- a/maintenance/renderDump.php
+++ b/maintenance/renderDump.php
@@ -24,8 +24,7 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  * http://www.gnu.org/copyleft/gpl.html
  *
- * @package MediaWiki
- * @subpackage Maintenance
+ * @addtogroup Maintenance
  */
 
 $optionsWithArgs = array( 'report' );
-- 
cgit v1.2.3-54-g00ecf