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

(limited to 'maintenance/commandLine.inc')

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index 18a1d712..3bf7f1b2 100644
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -1,8 +1,7 @@
 <?php
 /**
  * @todo document
- * @package MediaWiki
- * @subpackage Maintenance
+ * @addtogroup Maintenance
  */
 
 $wgRequestTime = microtime(true);
@@ -172,7 +171,7 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) {
 
 	if ( ! is_readable( $settingsFile ) ) {
 		print "A copy of your installation's LocalSettings.php\n" .
-		  "must exist in the source directory.\n";
+		  "must exist and be readable in the source directory.\n";
 		exit( 1 );
 	}
 	$wgCommandLineMode = true;
-- 
cgit v1.2.2