jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/403548 )
Change subject: Remove reference to mw-editButtons-pipe-separator, now removed
from MW
......................................................................
Remove reference to mw-editButtons-pipe-separator, now removed from MW
Change-Id: Ia214c25b1ca65f6998da9de0949034829d9959d5
---
M modules/jquery.codeEditor.less
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/jquery.codeEditor.less b/modules/jquery.codeEditor.less
index 98aabb3..5112f5b 100644
--- a/modules/jquery.codeEditor.less
+++ b/modules/jquery.codeEditor.less
@@ -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;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/403548
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia214c25b1ca65f6998da9de0949034829d9959d5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
