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

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

Browse source 
Copied from WikiEditor.

Bug: T173715
Change-Id: If3234240ec8530dafd6cf0faaa2fba31e09e1a89
This commit is contained in:
James D. Forrester 2017-08-24 13:31:09 -07:00 committed by Bartosz Dziewoński
parent beb54ff999
commit dd8daf7d22
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;
}
}