Funktionieren neuere Versionen von TinyMCE (sofern vorhanden) denn mit Opera? Vielleicht könnte man den JS-Code im Wiki ja einfach austauschen.