Eu configurei o php duas vezes com e sem --prefix
Portanto, há dois pacotes, um em /usr/local e outro em /usr/local/php7 da mesma versão do php 7.1.10
Agora meu terminal aponta para /usr/local/ e web aponta para /usr/local/php7/ .
Eu preciso fazer /usr/local/php7/bin/php -m para obter os módulos da Web
Eu levantei uma nova conversa, Como apontar a versão da Web para a CLI Meu CLI e web apontam para dois caminho php diferente, como corrigir

