Make TinyMCE's HTML source code editor work under Internet Explorer

As TinyMCE's CodeMirror plug-in uses 'window.location.origin' which is not supported by Internet Explorer, the HTML source code editor does not work under Internet Explorer.
We need to create one in order to make these vendor codes work under Internet Explorer.