Add inputEncoding to html/dom/interfaces.html