The same with this really, it should all use PHP_VERSION_ID.