Hello Antoine,
I'm happy to announce the latest release of PHP Tools for VS Code has DBGp proxy support.
The snippet for launch.json would look like this:
{
"name": "Listen for Xdebug",
"type": "php",
"request": "launch",
"port": 9000,
"dbgpProxy": {
"enable": true,
"host":"127.0.0.1",
"port":9001
}
}
Please let us know if works as expected!
Thanks