.bash_profile en MacOS
En estos dias macOS suele usar la shell de zsh en lugar de bash (puedes verificar cual es tu tipo de terminal utilizando el comando echo $SHELL).
En la clase el profesor usa .bash_profile, pero si tu terminal utiliza zsh no lo va a reconocer; asi que debes cambiar el nombre por .zsh_profile y sigues los pasos del profesor.
Si al cerrar tu terminal y abrir una nueva no te reconoce el comando php --version entonces te recomiendo cambiar el nombre del archivo .zsh_profile por .zshrc. --> (Esto lo puedes hacer facilmente con el comando mv .zsh_profile .zshrc
Finalmente haces source .zshrc y listo. Tienes habilitado php globalmente
