1base   dev
2author Andreas Gohr
3email  andi@splitbrain.org
4date   2021-12-01
5name   dev plugin
6desc   The DokuWiki Developer's tool
7url    https://www.dokuwiki.org/plugin:dev
8