Compiled tinymce javascript. I think.