Make the phplint configurable