From ca32f08966f1b51fcb19460f0996bb0c4048e6fe Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 3 Dec 2011 13:29:22 +0100 Subject: Update to MediaWiki 1.18.0 * also update ArchLinux skin to chagnes in MonoBook * Use only css to hide our menu bar when printing --- maintenance/mergeMessageFileList.php | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'maintenance/mergeMessageFileList.php') diff --git a/maintenance/mergeMessageFileList.php b/maintenance/mergeMessageFileList.php index 00c8cae5..8cfefcbd 100644 --- a/maintenance/mergeMessageFileList.php +++ b/maintenance/mergeMessageFileList.php @@ -1,4 +1,26 @@ addOption( 'list-file', 'A file containing a list of extension setup files, one per line.', false, true ); $this->addOption( 'output', 'Send output to this file (omit for stdout)', false, true ); $this->mDescription = 'Merge $wgExtensionMessagesFiles from various extensions to produce a ' . -- cgit v1.2.3-54-g00ecf