I personally run other extensions that handle PHP method / property definitions for hover and autocomplete and while the extension currently has an option to disable the autocomplete it doesn't have one to disable the hover provider.
Looking at the psalm Language Server code I noticed that there was already a flag to disable the hover provider so I've added an option in the plugin to send that flag over when starting the Language Server.
The additions are made the same way that the 'Disable Auto Complete' option was passing along the
--enable-provide-hover=false flag to the Language Server.
I personally run other extensions that handle PHP method / property definitions for hover and autocomplete and while the extension currently has an option to disable the autocomplete it doesn't have one to disable the hover provider.
Looking at the psalm Language Server code I noticed that there was already a flag to disable the hover provider so I've added an option in the plugin to send that flag over when starting the Language Server.
The additions are made the same way that the 'Disable Auto Complete' option was passing along the
--enable-provide-hover=falseflag to the Language Server.