jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/386384 )
Change subject: Set $wgAutoloadAttemptLowercase to false
......................................................................
Set $wgAutoloadAttemptLowercase to false
No autoloader.log entries since Monday.
Bug: T166759
Change-Id: I26c3e7d72b68ef4de7c2a2ee9cbbf765fd963602
---
M wmf-config/InitialiseSettings.php
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Mattflaschen: Looks good to me, approved
jenkins-bot: Verified
Gilles: Looks good to me, but someone else must approve
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 93066bc..12d0961 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -19649,6 +19649,11 @@
'default' => [ 'DISPLAY' => ':99' ],
],
+// T166759
+'wgAutoloadAttemptLowercase' => [
+ 'default' => false,
+],
+
];
### WMF Labs override #####
--
To view, visit https://gerrit.wikimedia.org/r/386384
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I26c3e7d72b68ef4de7c2a2ee9cbbf765fd963602
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
Gerrit-Reviewer: Gilles <[email protected]>
Gerrit-Reviewer: Mattflaschen <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
