Superclass: Widget

Class definition of WikiWidget in lively/WikiWidget.js:56