如何在macOS Sierra上安装gmp for php？

Question

到目前为止，这就是我所做的：

brew install homebrew/php/php70-gmp

php -i | grep gmp给了我这个输出：

Additional .ini files parsed => /usr/local/etc/php/7.0/conf.d/ext-gmp.ini
gmp
gmp support => enabled

然而，phpinfo没有显示gmp模块并且在我的代码中使用gmp_init命令，我收到此错误：

Fatal error: Uncaught Error: Call to undefined function gmp_init() 

我在这里缺少什么线索？

编辑：另外：

Loaded Configuration File（在phpinfo中）：/Applications/XAMPP/xamppfiles/etc/php.ini。

但是跑步 which php给了我：/usr/local/bin/php。

和php --ini给了我： Configuration File (php.ini) Path: /usr/local/etc/php/7.0 Loaded Configuration File: /usr/local/etc/php/7.0/php.ini Scan for additional .ini files in: /usr/local/etc/php/7.0/conf.d Additional .ini files parsed: /usr/local/etc/php/7.0/conf.d/ext-gmp.ini