Skip to content

Disable phptools language server by default for PHP - #43431

Closed
maxdeviant wants to merge 1 commit into
mainfrom
push-qmvurwtzmqmw
Closed

Disable phptools language server by default for PHP#43431
maxdeviant wants to merge 1 commit into
mainfrom
push-qmvurwtzmqmw

Disable `phptools` language server by default for PHP

12eafcc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar