diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/commandLine.inc | |
parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (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.inc | 5 |
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; |