remove .html indent, since it will cause .php to use the same indent
sync with upstream