base   searchjump
author Andreas Gohr
email  andi@splitbrain.org
date   2018-08-30
name   Search Jump
desc   Jump between highlighted strings in a search result.
url    http://www.dokuwiki.org/plugin:searchjump