use an indent of 4 spaces when editing PHP files