[General] Stop using phpmd

Review Request #745 — Created March 11, 2021 and submitted — Latest diff uploaded

pprkut
Lunr
2f8f4c4...
lunr
It's slow and phpstan is generally better now.

None

Loading...