wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 11:30:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Hide MediaWiki's "Edit help" links which aren't relevant to non-wikitext content"

Browse source
This commit is contained in:
jenkins-bot 2017-08-28 14:11:19 +00:00 committed by Gerrit Code Review
parent 8a315e9ece dd8daf7d22
commit 2e52d20808
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/jquery.codeEditor.less
View file

@ -112,3 +112,12 @@
white-space: nowrap;
display: table-cell;
}
/* Hide vanilla MediaWiki's "Editing help" link, as we provide it in the toolbar */
/* Copied from the same code in WikiEditor */
.client-js .editButtons {
.editHelp,
.mw-editButtons-pipe-separator {
display: none;
}
}