summaryrefslogtreecommitdiff
path: root/extensions/WikiEditor/modules/ext.wikiEditor.css
diff options
context:
space:
mode:
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')
-rw-r--r--extensions/WikiEditor/modules/ext.wikiEditor.css9
1 files changed, 0 insertions, 9 deletions
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;
-}