Para instalar a extensão PHP DS
# Primeiro instale as dependências da ext
$ sudo apt-get install git build-essential php8.1-dev
# Depois instale a ext via pecl
$ sudo pecl install ds
# Agora só precisa adicionar ao seu PHP ini a linha
extension=ds.so
# Para saber no linux onde está o ini do seu PHP basta digitar o comando
$ php --ini
Oi, Rodrigo! Tudo bem?
Desculpa a demora por um retorno.
Obrigada por compartilhar essa sugestão com a gente aqui do fórum, seu feedback e sugestões são muito importantes para fortalecermos a nossa comunidade e conteúdos. Realmente, não é necessário fazer um downgrade para o PHP 7, com as instruções fornecidas conseguimos instalar a extensão PHP DS no PHP 8.1.
As instruções são claras e diretas, parabéns pela elaboração, além de serem bastante úteis para quem precisa instalar a extensão PHP DS no Linux, sem precisar fazer um downgrade para o PHP 7. Devemos lembrar apenas que é importante verificar se a versão do PHP mencionada é compatível com o sistema operacional utilizado.
Caso tenha alguma dúvida em relação ao conteúdo do curso, sinta-se à vontade para comunicar, estou à disposição e ficarei super feliz em poder ajudar.
Um forte abraço e bons estudos!