tab width, PHP syntax highlighting