jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/347545 )
Change subject: Enable user group expiry in production
......................................................................
Enable user group expiry in production
Bug: T159416
Change-Id: I5b495831892c3d31dc0ba531771fdf5354900b20
---
M wmf-config/InitialiseSettings-labs.php
M wmf-config/InitialiseSettings.php
2 files changed, 0 insertions(+), 8 deletions(-)
Approvals:
Urbanecm: Looks good to me, but someone else must approve
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings-labs.php
b/wmf-config/InitialiseSettings-labs.php
index d74f14a..da04a44 100644
--- a/wmf-config/InitialiseSettings-labs.php
+++ b/wmf-config/InitialiseSettings-labs.php
@@ -266,10 +266,6 @@
'default' => false,
],
- '-wgDisableUserGroupExpiry' => [
- 'default' => false,
- ],
-
///
/// ----------- BetaFeatures start ----------
///
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 760b019..5ccf432 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -7533,10 +7533,6 @@
'enwiki' => true, // T152076
],
-'wgDisableUserGroupExpiry' => [
- 'default' => true,
-],
-
# groupOverrides @{
'groupOverrides' => [
// Note: don't change the default setting here, because it won't take
--
To view, visit https://gerrit.wikimedia.org/r/347545
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5b495831892c3d31dc0ba531771fdf5354900b20
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: TTO <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: TTO <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
