From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 4 Jun 2015 07:31:04 +0200
Subject: Update to MediaWiki 1.25.1

---
 extensions/WikiEditor/modules/ext.wikiEditor.css | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 extensions/WikiEditor/modules/ext.wikiEditor.css

(limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')

diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.css b/extensions/WikiEditor/modules/ext.wikiEditor.css
deleted file mode 100644
index 6ea7e631..00000000
--- a/extensions/WikiEditor/modules/ext.wikiEditor.css
+++ /dev/null
@@ -1,9 +0,0 @@
-/**
- * CSS for WikiEditor
- */
-
-/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
-.editButtons .editHelp,
-.editButtons .mw-editButtons-pipe-separator {
-	display: none;
-}
-- 
cgit v1.2.2