jenkins-bot has submitted this change and it was merged.

Change subject: Make 'visualeditor-enable' pref hidden on wikis where VE is 
default
......................................................................


Make 'visualeditor-enable' pref hidden on wikis where VE is default

Bug: 48666
Change-Id: Ica186b9374ddaa0f2f6b2a84e5dff851011b68a4
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Catrope: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 9ebe00e..34a0497 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1907,6 +1907,7 @@
        }
        if ( $wmgVisualEditorDefault ) {
                $wgDefaultUserOptions['visualeditor-enable'] = 1;
+               $wgHiddenPrefs[] = 'visualeditor-enable'; // Bug 48666
        }
        if ( $wmgVisualEditorExperimental ) {
                $wgVisualEditorEnableExperimentalCode = true;

-- 
To view, visit https://gerrit.wikimedia.org/r/70652
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ica186b9374ddaa0f2f6b2a84e5dff851011b68a4
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to