summaryrefslogtreecommitdiff
path: root/maintenance/commandLine.inc
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2007-05-16 20:58:53 +0000
committerPierre Schmitz <pierre@archlinux.de>2007-05-16 20:58:53 +0000
commitcecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch)
tree17266aa237742640aabee7856f0202317a45d540 /maintenance/commandLine.inc
parent0bac06c301f2a83edb0236e4c2434da16848d549 (diff)
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert kleine Korrekturen am Design
Diffstat (limited to 'maintenance/commandLine.inc')
-rw-r--r--maintenance/commandLine.inc5
1 files changed, 2 insertions, 3 deletions
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;