remove : php lint setting