jenkins-bot has submitted this change and it was merged.
Change subject: Remove Mantle from configuration
......................................................................
Remove Mantle from configuration
Bug: T85890
Bug: T93448
Change-Id: I94059f7de6da9677feb3c030788665694ea67de1
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 0 insertions(+), 6 deletions(-)
Approvals:
20after4: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 7dea9fa..2bf7430 100755
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2131,11 +2131,6 @@
# Mobile related configuration
-if ( $wmgMobileFrontend || $wmgUseFlow ) {
- // Needed for Flow frontend-rewrite and MobileFrontend
- require_once( "$IP/extensions/Mantle/Mantle.php" );
-}
-
require( getRealmSpecificFilename( "$wmfConfigDir/mobile.php" ) );
# MUST be after MobileFrontend initialization
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 41a152f..9419d25 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -70,7 +70,6 @@
$IP/extensions/LiquidThreads/LiquidThreads.php
$IP/extensions/Listings/Listings.php
$IP/extensions/LocalisationUpdate/LocalisationUpdate.php
-$IP/extensions/Mantle/Mantle.php
$IP/extensions/MapSources/MapSources.php
$IP/extensions/MassMessage/MassMessage.php
$IP/extensions/Math/Math.php
--
To view, visit https://gerrit.wikimedia.org/r/210816
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I94059f7de6da9677feb3c030788665694ea67de1
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: 20after4 <[email protected]>
Gerrit-Reviewer: Mattflaschen <[email protected]>
Gerrit-Reviewer: Matthias Mullie <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
