All pull requests

Pull requests

• Edit menu item/button names

  #8·gcamacho079 opened Jun 1, 2023·

  ·

• Add PHP inspection for valid return types

  #5·timkelty opened Jun 24, 2021·

  ·

• Add live templates

  #3·panlatent opened Dec 20, 2018·

  ·