The TinyMCE extension currently encourages users to apply an ad-hoc patch to the WikiEditor extension to add a "WikiEditorDisable" hook. Unless there's some good reason for this, that patch should be submitted to Gerrit and merged into the WikiEditor extension repo to make things less confusing.