add php indent setting