based on WikiEditor, a WYSIWYG editor for MediaWiki.