updated the php linter