setting php tab width 4