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