Update to MediaWiki 1.18.0

* also update ArchLinux skin to chagnes in MonoBook
* Use only css to hide our menu bar when printing

1 files changed, 28 insertions, 0 deletions

diff --git a/extensions/Nuke/Nuke.php b/extensions/Nuke/Nuke.php
new file mode 100644
index 00000000..28c7cda1
--- /dev/null
+++ b/extensions/Nuke/Nuke.php
@@ -0,0 +1,28 @@
+<?php
+
+if( !defined( 'MEDIAWIKI' ) ) {
+	die( 'Not an entry point.' );
+}
+
+define( 'Nuke_VERSION', '1.1' );
+
+$dir = dirname(__FILE__) . '/';
+
+$wgExtensionMessagesFiles['Nuke'] = $dir . 'Nuke.i18n.php';
+$wgExtensionAliasesFiles['Nuke'] = $dir . 'Nuke.alias.php';
+
+$wgExtensionCredits['specialpage'][] = array(
+	'path'           => __FILE__,
+	'name'           => 'Nuke',
+	'descriptionmsg' => 'nuke-desc',
+	'author'         => 'Brion Vibber',
+	'url'            => 'http://www.mediawiki.org/wiki/Extension:Nuke',
+	'version'        => Nuke_VERSION,
+);
+
+$wgGroupPermissions['sysop']['nuke'] = true;
+$wgAvailableRights[] = 'nuke';
+
+$wgAutoloadClasses['SpecialNuke'] = $dir . 'Nuke_body.php';
+$wgSpecialPages['Nuke'] = 'SpecialNuke';
+$wgSpecialPageGroups['Nuke'] = 'pagetools';