[Config] Stop using phpmd

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

pprkut
Lunr.Config
755
3ee4920...
lunr

It's slow and phpstan is generally better now.

None

smillernl
  1. Ship It!
  2. 
      
pprkut
Review request changed

Status: Closed (submitted)

Change Summary:

Merged into master

Loading...