jenkins-bot has submitted this change and it was merged.
Change subject: For $wmgGalleryOptions, use isset()
......................................................................
For $wmgGalleryOptions, use isset()
This is a follow-up for commit 4589e9c8.
Change-Id: I5897bd8e997ab41f6ae45aac846605bb4a2c5f01
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Dereckson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 117dba3..1a0694a 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -461,7 +461,7 @@
$wgFileBlacklist[] = 'txt';
$wgFileBlacklist[] = 'mht';
-if ( $wmgGalleryOptions ) {
+if ( isset( $wmgGalleryOptions ) ) {
$wgGalleryOptions = $wmgGalleryOptions;
}
--
To view, visit https://gerrit.wikimedia.org/r/318223
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5897bd8e997ab41f6ae45aac846605bb4a2c5f01
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Dereckson <dereck...@espace-win.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
