jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/348675 )
Change subject: Swap the enable/disable labels
......................................................................
Swap the enable/disable labels
Bug: T163916
Change-Id: Ie868556fe31ea4aae976e94526cc96bb79803626
---
M resources/ext.CodeMirror.js
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Kaldari: Looks good to me, approved
diff --git a/resources/ext.CodeMirror.js b/resources/ext.CodeMirror.js
index 3d48d0b..1d9870c 100644
--- a/resources/ext.CodeMirror.js
+++ b/resources/ext.CodeMirror.js
@@ -312,9 +312,9 @@
var label;
if ( useCodeMirror ) {
- label = mw.msg( 'codemirror-enable-label' );
- } else {
label = mw.msg( 'codemirror-disable-label' );
+ } else {
+ label = mw.msg( 'codemirror-enable-label' );
}
if ( wikiEditor ) {
--
To view, visit https://gerrit.wikimedia.org/r/348675
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie868556fe31ea4aae976e94526cc96bb79803626
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Pastakhov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
