Allow PHP version check to execute on older versions of PHP
authorBill Pirkle <bpirkle@wikimedia.org>
Thu, 11 Jul 2019 02:16:49 +0000 (21:16 -0500)
committerBill Pirkle <bpirkle@wikimedia.org>
Thu, 11 Jul 2019 03:39:45 +0000 (22:39 -0500)
commitb8b2514940e0e3a52e9d27f5432cdbb4d7f0c8b5
treea0bf5556896d65f4671d0d1bcede8929397f4290
parent50a72860b6eab430160a9504926c6aafa4fb701d
Allow PHP version check to execute on older versions of PHP

A change to update.php used the null coalesce (??) operator.
While this is normally fine, the code in question executes
before the PHP version check, and causes an unfriendly PHP
error rather than the intended helpful error. Use the older-style
isset() call instead, so that the PHP version check will get
a chance to execute.

Bug: T213893
Change-Id: I22e4a24bed9e0b29e08afc7b9468e7bfd81d7d57
maintenance/update.php