From: Bill Pirkle <bpirkle@wikimedia.org>
Date: Thu, 11 Jul 2019 13:54:47 +0000 (-0500)
Subject: Allow PHP version check to execute on older version of PHP
X-Git-Tag: 1.34.0-rc.0~1073
X-Git-Url: http://git.heureux-cyclage.org/?a=commitdiff_plain;h=c92d559da3098c1f3a55df38cb34b4b22a06c130;p=lhc%2Fweb%2Fwiklou.git

Allow PHP version check to execute on older version of PHP

Gerrit change 522014 (merged as b8b2514) mostly corrected this
issue, but one line was missed. Fixing that now.

Bug: T213893
Change-Id: I0a57f5902f1af2619fe47f7ee53695d3fd03adaf
---

diff --git a/maintenance/update.php b/maintenance/update.php
index 73edda9ed7..6edca6e813 100755
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -267,7 +267,7 @@ class UpdateMediaWiki extends Maintenance {
 				isset( $param['require'] ) ? $param['require'] : false,
 				isset( $param['withArg'] ) ? $param['withArg'] : false,
 				isset( $param['shortName'] ) ? $param['shortName'] : false,
-				$param['multiOccurrence'] ?? false
+				isset( $param['multiOccurrence'] ) ? $param['multiOccurrence'] : false
 			);
 		}