Personally, I'd prefer this check:
```php
if (PHP_VERSION_ID >= 50400) {
```