Has anyone manage to install TinyMCE 4.0 into Dolphin 7.1.x? Seems there are a few changes in TinyMCE. My first attempt failed but intend to try again; not quite sure the problem. I do see a change in naming convention which I attempted to adjust for.