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/renamewiki.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'maintenance/renamewiki.php')

diff --git a/maintenance/renamewiki.php b/maintenance/renamewiki.php
index d9fe6e76..66de326b 100644
--- a/maintenance/renamewiki.php
+++ b/maintenance/renamewiki.php
@@ -1,11 +1,14 @@
 <?php
-require_once( "commandLine.inc" );
-
 /**
  * Why yes, this *is* another special-purpose Wikimedia maintenance script!
  * Should be fixed up and generalized.
+ *
+ * @file
+ * @ingroup Maintenance
  */
 
+require_once( "commandLine.inc" );
+
 if ( count( $args ) != 2 ) {
 	wfDie( "Rename external storage dbs and leave a new one...\n" .
 			"Usage: php renamewiki.php <olddb> <newdb>\n" );
-- 
cgit v1.2.2