dokuwiki's "editor" plugin