diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
| commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
| tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /extensions/WikiEditor/modules/ext.wikiEditor.css | |
| parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) | |
Update to MediaWiki 1.22.0
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.css')
| -rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.css | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.css b/extensions/WikiEditor/modules/ext.wikiEditor.css index f0665730..30a27326 100644 --- a/extensions/WikiEditor/modules/ext.wikiEditor.css +++ b/extensions/WikiEditor/modules/ext.wikiEditor.css @@ -2,19 +2,16 @@ * CSS for WikiEditor */ -/* This ID (#editform) could change in MediaWiki */ form#editform { margin: 0; padding: 0; } -/* These IDs (#wpSummaryLabel and #wpSummary) could change in MediaWiki */ #wpSummary, #wpSummaryLabel { margin-bottom: 1em; } -/* This ID (#wpTextbox1) could change in MediaWiki */ .wikiEditor-ui textarea#wpTextbox1 { border: none; padding: 0; @@ -26,3 +23,9 @@ form#editform { .wikiEditor-ui .wikiEditor-ui-text > textarea#wpTextbox1 { margin: 0; } + +/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */ +.editButtons .editHelp, +.editButtons .mw-editButtons-pipe-separator { + display: none; +} |