Adds bugfix to php.yaml