Fix php indenting