Update TinyMCE to version 3.5.8 (see #5273)