can use the PHP_VERSION[_*] constant[s] here.