php-language-server
php-language-server copied to clipboard
migrate to amphp
trafficstars
Thanks for this! Could you give some explanation for this change in the PR description? I.e. what is the motivation/benefit, what are the high-level required changes this PR implements, are there any drawbacks?