>>785
settings.jsonに
"[php]": { "editor.hover.enabled": true },
"[html]": { "editor.hover.enabled": false },
"[css]": { "editor.hover.enabled": false }