Fixed a bug in the PHP version constraint evaluator.