Might `if (PHP_VERSION_ID >= 50400)` work better here? It's designed for comparisons, and version strings can have interesting vendor-specific attributes in them.