base tools author Luigi Micco email l.micco@tiscali.it date 2012-07-22 name Tools Plugin desc Insert toolbar with tools on pages url http://www.dokuwiki.org/plugin:tools