#1216 hotfix updating PHP version (state: open)

Assigned to