PHP_VERSION_ID was introduced in 5.2.7, so safe to use here.