Add HHVM version check
authorFlorian Schmidt <florian.schmidt.stargatewissen@gmail.com>
Tue, 13 Sep 2016 16:17:11 +0000 (18:17 +0200)
committerFlorianschmidtwelzow <florian.schmidt.stargatewissen@gmail.com>
Fri, 19 May 2017 09:59:13 +0000 (09:59 +0000)
commit639e9ff3f24ad5d802289e193fe69bc53651391a
tree517a8ba68adb7743037c334d06357d47881a6b45
parent6b2914bd803d1b71a70cf50dd39d1203d171e8a9
Add HHVM version check

HHVM brings it's own version number, so relying on the PHP version
string in the PHP_VERSION const on an hhvm server maybe does not
increase in different versions of hhvm. Therefore, this change
implements a hhvm server version check, if MediaWiki runs on an
hhvm server, instead of checking the php version.

Bug: T123436
Change-Id: I91b0a4e1eded61d3ba63ecbd14cdc85c57295892
includes/PHPVersionCheck.php