TinyMce wieder da - Lösung
Nach langem Suchen eine Lösung aus dem englischen Wordpressforum, die sofort funktioniert hat:
die betroffene datei liegt in /wp-includes/js/tinymce/
und heißt: tiny_mce_gzip.php
in zeile 89 folgendes ändern: $supportsGzip = true;
in: $supportsGzip = false;
Fertig. (auch wenn der Server gzip unterstützt, wie bei uns)
Hier der Link zum Original-Thread:
[COLOR=#810081]WordPress › Support » realTinyMCE is not defined[/COLOR]