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

Change subject: Add wmgRevisionSliderBetaFeature (default true)
......................................................................


Add wmgRevisionSliderBetaFeature (default true)

Change-Id: I431fb214dd6fad155408d6fbb2623cb54da76d3c
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings-labs.php
M wmf-config/InitialiseSettings.php
3 files changed, 9 insertions(+), 0 deletions(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 57d844c..ce7ed5f 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2824,6 +2824,7 @@
 
 if ( $wmgUseRevisionSlider ) {
        wfLoadExtension( 'RevisionSlider' );
+       $wgRevisionSliderBetaFeature = $wmgRevisionSliderBetaFeature;
 }
 
 if ( $wmgUseUserMerge ) {
diff --git a/wmf-config/InitialiseSettings-labs.php 
b/wmf-config/InitialiseSettings-labs.php
index 4e3f003..604c217 100644
--- a/wmf-config/InitialiseSettings-labs.php
+++ b/wmf-config/InitialiseSettings-labs.php
@@ -524,6 +524,10 @@
                        'default' => true,  // T134770
                ],
 
+               'wmgRevisionSliderBetaFeature' => [
+                       'default' => true,
+               ],
+
                // Ensure ?action=credits isn't break and allow to work
                // to cache this information. See T130820.
                'wgMaxCredits' => [
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 7b2fa8d..30e6dbf 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -16263,6 +16263,10 @@
        'default' => true,
 ],
 
+'wmgRevisionSliderBetaFeature' => [
+       'default' => true,
+],
+
 'wmgUseUserMerge' => [
        'default' => true,
        'private' => false,

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I431fb214dd6fad155408d6fbb2623cb54da76d3c
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
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