Make TinyMCE code editor work properly under Internet Explorer

As the CodeMirror plug-in uses 'window.location.origin' which is not supported by Internet Explorer, the HTML or raw code editor does not work under Internet Explorer. This is a workaround for the problem.