aboutsummaryrefslogtreecommitdiff
path: root/.gitlab/scripts/convert-phplint-report
AgeCommit message (Expand)Author
2023-04-03report linting errors as code quality issues, fixes #2500Jan-Hendrik Willms