[Halo] Stop using phpmd

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

Information
pprkut
Lunr.Halo
51986b8...
Reviewers
lunr 
It's slow and phpstan is generally better now.
None
pprkut
smillernl
smillernl 
  1. Ship It!
  2. 
  
    
 
    

 
    
  


    
 
    
 
      

  

 
    


    

 
    

    3. 




  

 
















 



 

  

   




pprkut




   

   

  

 



 

  


   

   

    
 Review request changed

    
   


  

  

  






 

  Status:
  

  Closed (submitted)

  
 




 
Change Summary:

 
Merged into master





 


 










  

 









     

    

   

  

  

   
   Loading...