switch php checker to phplint