Allow PHP version check to execute on older version of PHP
authorBill Pirkle <bpirkle@wikimedia.org>
Thu, 11 Jul 2019 13:54:47 +0000 (08:54 -0500)
committerBill Pirkle <bpirkle@wikimedia.org>
Thu, 11 Jul 2019 13:54:47 +0000 (08:54 -0500)
commitc92d559da3098c1f3a55df38cb34b4b22a06c130
tree986d9c873c3440c7dc2e771ed721ccc6fed28038
parentbf7a06a2069683f7b12d58654759c411ae581746
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
maintenance/update.php