[Config] Stop using phpmd

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

pprkut
Lunr.Config
755
3ee4920...
lunr

It's slow and phpstan is generally better now.

None

Loading...