Better indenting when editing html in php files