summaryrefslogtreecommitdiff
path: root/maintenance/getConfiguration.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2015-12-17 09:15:42 +0100
committerPierre Schmitz <pierre@archlinux.de>2015-12-17 09:44:51 +0100
commita1789ddde42033f1b05cc4929491214ee6e79383 (patch)
tree63615735c4ddffaaabf2428946bb26f90899f7bf /maintenance/getConfiguration.php
parent9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff)
Update to MediaWiki 1.26.0
Diffstat (limited to 'maintenance/getConfiguration.php')
-rw-r--r--maintenance/getConfiguration.php2
1 files changed, 1 insertions, 1 deletions
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;
}