better indent for php html files