removed php linter