- var_dump: documentation ( source)
- explode: documentation ( source)
<?php
var_dump(defined('HHVM_VERSION'));
var_dump(defined('HHVM_VERSION_ID'));
var_dump(is_int(HHVM_VERSION_ID));
// test HHVM_VERSION and HHVM_VERSION_ID matches
$version = explode('.', PHP_VERSION);
$version_int = $version[0] * 10000 + $version[1] * 100 + $version[2];
echo $version_int;