diff options
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')
-rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.css | 9 |
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; -} |