Use PHP_VERSION_ID