Used in the widget inspector plugin, so export it.