change php indent setting