PHP72 的 Redis 扩展安装问题？

brew install php72-redis 裝不了嗎

@leochien 对，装不了，homebrew移除了php72-redis。

參考 https://github.com/phan/phan/wiki/Getting-...
因 homebrew/php 已在 1.5 版併入 homebrew/core
所以須先移除舊版，安裝新版後，再用 pecl 安裝擴展，具體作法如下，我已經操作過沒碰到問題：

brew update; # updates local brew meta data
# removes old homebrew php TAP, now php is in homebrew core
brew untap homebrew/php;
brew uninstall php; # or brew uninstall php72 if you had that before
brew upgrade; # make sure all the other libs are up to date
brew cleanup; # cleanup old files
brew prune; # cleanup old symlinks
brew install autoconf; # Required by pecl
brew install php;
pecl install redis;

pecl install redis

pecl install redis + 1