GitHub repository: splitbrain/dokuwiki-plugin-searchjump
Primary language: JavaScript
Description: A plugin to jump between highlighted strings in a DokuWiki search result.