<!-- The following lines have to be added to "MediaWiki:Gadgets-definition" -->

* teahouse[ResourceLoader|dependencies=mediawiki.user,mediawiki.cookie|default]|teahouse/main.js|teahouse/config.js|teahouse/teahouse.css
* teahouse-opt-in[ResourceLoader]|teahouse-opt-in/main.js