Update TinyMCE to version 3.5.8 (see #5329)