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