So if you type
php -v what do you get?
>>>PHP 5.5.38 (cli) (built: Oct 29 2017 20:49:07) Copyright (c) 1997-2015 The PHP Group Zend Engine v2.5.0, Copyright (c) 1998-2015 Zend Technologies Mikes-Mac-Pro:~ mikehenden$
And the bash profile file you edited was your own, earlier? You weren't root or using
Might have user sudo at that point… just to try to get things to happen…
OK.. just do
That should open your own profile file
i to get into edit mode when you have it open
Terminal output for profile file…
vim -r ~/.bash_profile
… in a new terminal window?