From a1789ddde42033f1b05cc4929491214ee6e79383 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 17 Dec 2015 09:15:42 +0100 Subject: Update to MediaWiki 1.26.0 --- maintenance/getConfiguration.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'maintenance/getConfiguration.php') diff --git a/maintenance/getConfiguration.php b/maintenance/getConfiguration.php index d5f68346..58382014 100644 --- a/maintenance/getConfiguration.php +++ b/maintenance/getConfiguration.php @@ -184,7 +184,7 @@ class GetConfiguration extends Maintenance { } return true; - } elseif ( is_scalar( $value ) ) { + } elseif ( is_scalar( $value ) || $value === null ) { return true; } -- cgit v1.2.2