Update March 2019
brew services restart php@7.2I was trying to change PHP settings, to be able to experiment with Xdebug profiling.
phpinfo() shows that it loads /usr/local/etc/php/7.1/php.ini , which is true, but didn’t seem the case because changes were not taking affect after restarting PHP and Apache.
I was restarting the wrong PHP with brew services restart php71. Even stopping it has no effect.
So that’s not the version that Apache is pointing to. It uses some other instance of the service that I don’t know how to restart without doing the whole computer!
Do this
sudo brew services restart php@7.1brew services list can also be useful, or even brew services list | grep php