Updated TinyMCE 4

The following updates have been made:
Update to latest TinyMCE Version 4.1.7.
Some tiny code adjustments.

Regards
Ludger
Why not use diamond operator?