Based on this answer I've updated my local PHP to 7.0. This worked as expected when I browser to a file with phpinfo()
When I use the terminal command php -v
I get version 5.5.26
As stated in the FAQ I have to add
export PATH=/usr/local/php5/bin:$PATH
to the ~/.profile
(which I had to create)
but the result is the same: php -v
still shows the 5.5 version