Python php linter