Check the PHP version