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