[Halo] Stop using phpmd

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

pprkut
Lunr.Halo
51986b8...
lunr

It's slow and phpstan is generally better now.

None

Loading...