correct PHP_VERSION_ID check

5.3.0 not 50.30.00