jenkins-bot has submitted this change and it was merged.
Change subject: Fix loading issue when isLocal is not set
......................................................................
Fix loading issue when isLocal is not set
Change-Id: Ia2e6f71a0cf345a7a223cb479af94081c35a17a8
---
M JsonConfig.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/JsonConfig.php b/JsonConfig.php
index 8e9b4f9..16c9022 100644
--- a/JsonConfig.php
+++ b/JsonConfig.php
@@ -94,7 +94,7 @@
global $wgJsonConfigs;
$isStorage = false;
foreach ( $wgJsonConfigs as $jc ) {
- if ( ( array_key_exists( 'isLocal', $jc ) &&
$jc['isLocal'] ) ||
+ if ( ( !array_key_exists( 'isLocal', $jc ) ||
$jc['isLocal'] ) ||
( array_key_exists( 'store', $jc ) )
) {
$isStorage = true;
--
To view, visit https://gerrit.wikimedia.org/r/282840
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia2e6f71a0cf345a7a223cb479af94081c35a17a8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/JsonConfig
Gerrit-Branch: master
Gerrit-Owner: Yurik <[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
