[PATCH] tinyMCE HTML editor