Use PHP_VERSION_ID instead of version_compare().