jenkins-bot has submitted this change and it was merged.
Change subject: Another $wgMFVaryResources fix
......................................................................
Another $wgMFVaryResources fix
Change-Id: Iffa9f7d553d116550d172968ee0adb1891571861
---
M wmf-config/mobile.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
MaxSem: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/mobile.php b/wmf-config/mobile.php
index 231ff4f..09b9bc5 100644
--- a/wmf-config/mobile.php
+++ b/wmf-config/mobile.php
@@ -132,7 +132,7 @@
// Enable $wgMFVaryResources only if there's a mobile site (otherwise
we'll end up
// looking for X-WAP headers in requests coming from Squid
- if ( $wmgMFVaryResources && $wgMobileUrlTemplate !== '' ) {
+ if ( $wmgMFVaryResources && $wmgMobileUrlTemplate !== '' ) {
$wgMFVaryResources = true;
$wgExtensionFunctions[] = 'wmfSetupMobileLoadScript';
}
--
To view, visit https://gerrit.wikimedia.org/r/59821
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iffa9f7d553d116550d172968ee0adb1891571861
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MaxSem <[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
