1base extension 2author Michael Hamann 3email michael@content-space.de 4date 2013-08-01 5name extension plugin 6desc Extension manager 7url https://www.dokuwiki.org/plugin:extension 8