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

Remove reference to mw-editButtons-pipe-separator, now removed from MW

Browse source 
Change-Id: Ia214c25b1ca65f6998da9de0949034829d9959d5
This commit is contained in:
James D. Forrester 2018-01-10 14:29:04 -08:00
parent 554038b85b
commit 85536550c3
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/jquery.codeEditor.less
View file

@ -122,8 +122,7 @@
/* 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 {
.editHelp {
display: none;
}
}