Follow up with Dev Container improvements#5615

jordikroon merged 4 commits into

php:masterphp/doc-en:masterfrom

jordikroon:devcontainer-improvementsjordikroon/doc-en:devcontainer-improvementsCopy head branch name to clipboard