[robotron]

As someone who works with PHP on Mac OS, the installed version was nothing more than annoyance you have to deal with if you're using the actual runtime. Otherwise, used Docker and ignored it.