update php lint command