Thank you @GaryHoffmann ; the menu command may appear after a few seconds although it should be there. We'll check whether there is anything we can do.
It is possible, the PHP Tools extension was not properly installed (this may happen if there is a running Visual Studio during the extension installation)