Upgrade to TinyMCE 3.5.11 (IE11 fixes)

As it says: Upgrades TinyMCE to 3.5.11, apparently with some IE11 tweaks.

[reopened PR from hotfix-7.1,4]