How to disable new three dots hint (...)

Hi, is there an option to disable the new three dots hint (...) ?
Regards

Thank you for the question.

You can disable all code actions in general using the "phpTools.suppressPremiumFeatures" setting.

There is no specific setting just for the three dots, but we'll add it.

Thank you, I think disabling all premium features is what I want actually, but premium users might want the specific one.

MaximeFandard The next update (1.50) allows to disable the hint using the following setting:

"php.problems.exclude": {
    "/": ["PHP7103"]
}