webuiEditorWidget.js: Fix IE compatibility issue