Add HTML source highlighter for HTMLSourceEditor.