var toolbox_icon = DOKU_BASE+'lib/plugins/toolbox/pix/';
var toolbox_lang = LANG.plugins.toolbox;

/* DOKUWIKI:include ToolboxFindAndReplace.js */
/* DOKUWIKI:include ToolboxCounter.js */
/* DOKUWIKI:include ToolboxTextTools.js */
/* DOKUWIKI:include toolbox.js */