(function() {var implementors = {}; implementors["widgetry"] = []; if (window.register_implementors) {window.register_implementors(implementors);} else {window.pending_implementors = implementors;}})()