Correctly load TinyMCE in IE7 and IE8 (see #5346)