Use correct branch for PHP 7.1
Use correct branch for PHP 7.1

Closes #3568.

Signed-off-by: Jan Viljanen <78474235ba423d1a061bae6ab658873ced03ce9c@greenpeace.org>

mkalkbrenner/homebrew-php,dguyon/homebrew-php