Update TinyMCE wiget code according to r783. I hope I did it correctly this time.
http://code.google.com/p/soc/source/detail?r=783
Patch by: Pawel Solyga
Review by: to-be-reviewed
// Display a logging console on top of this page.(new AH.LoggingConsole()).initConsole();</script>