jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/363379 )
Change subject: Add CodeMirror to beta cluster
......................................................................
Add CodeMirror to beta cluster
Change-Id: Ibe49e55f080a1019ce2843276ff03e7801518398
---
M wmf-config/CommonSettings-labs.php
M wmf-config/InitialiseSettings-labs.php
M wmf-config/extension-list-labs
3 files changed, 10 insertions(+), 0 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings-labs.php
b/wmf-config/CommonSettings-labs.php
index 7972232..afccc84 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -335,6 +335,11 @@
$wgLoginNotifyAttemptsNewIP = 1;
}
+if ( $wmgUseCodeMirror ) {
+ wfLoadExtension( 'CodeMirror' );
+ $wgCodeMirrorBetaFeature = true;
+}
+
$wgStructuredChangeFiltersEnableExperimentalViews = true;
$wgMessageCacheType = CACHE_ACCEL;
diff --git a/wmf-config/InitialiseSettings-labs.php
b/wmf-config/InitialiseSettings-labs.php
index b6cc81a..e0adcfe 100644
--- a/wmf-config/InitialiseSettings-labs.php
+++ b/wmf-config/InitialiseSettings-labs.php
@@ -497,6 +497,10 @@
'nonecho' => false,
],
+ 'wmgUseCodeMirror' => [
+ 'default' => true,
+ ],
+
// Ensure ?action=credits isn't break and allow to work
// to cache this information. See T130820.
'wgMaxCredits' => [
diff --git a/wmf-config/extension-list-labs b/wmf-config/extension-list-labs
index 24fbc13..a227359 100644
--- a/wmf-config/extension-list-labs
+++ b/wmf-config/extension-list-labs
@@ -1,5 +1,6 @@
$IP/extensions/3D/extension.json
$IP/extensions/EmailAuth/extension.json
+$IP/extensions/CodeMirror/extension.json
$IP/extensions/Newsletter/extension.json
$IP/extensions/PerformanceInspector/extension.json
$IP/extensions/Sentry/extension.json
--
To view, visit https://gerrit.wikimedia.org/r/363379
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibe49e55f080a1019ce2843276ff03e7801518398
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Niharika29 <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
