Revert PHP version for now