mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-01 03:17:04 +00:00
10583ec1a7
Bug: T120408 Change-Id: I651ea3d2b891ce347a51be9b3bc3e34351bc53dc
12 lines
209 B
Plaintext
12 lines
209 B
Plaintext
/**
|
|
* CSS for WikiEditor
|
|
*/
|
|
|
|
/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
|
|
.client-js .editButtons {
|
|
.editHelp,
|
|
.mw-editButtons-pipe-separator {
|
|
display: none;
|
|
}
|
|
}
|