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