Add shims to ext-editor.html.