Bumped php version again .. seems s.th. went wrong while merging