/*\ Do nothing widget \*/ "use strict"; var Widget = require("$:/core/modules/widgets/widget.js").widget; exports.donothing = Widget;