priétaire "devcontainer" pour Code qui n'est pas disponible pour Codium. Elle permet d'ouvrir un projet dans un container et d'utiliser les outils qu'il contient, comme la bonne versi...
Voyons comment faire avec Codium
* [[https://gist.github.com/a-l-e-c/95751551ae8fa2f2df1412a3ce990... thin Docker]] de configurer Codium pour qu'il utilise le Php du container pour ''php.validate.executab