1base   toolbox
2author Andreas Gohr
3email  andi@splitbrain.org
4date   2017-03-18
5name   A Toolbox for the Toolbar
6desc   Adds various tools to the editor toolbar
7url    http://www.dokuwiki.org/plugin:toolbox
8
9