Updated mediawiki/extensions
Project: mediawiki/extensions/Teahouse  a427237deedfc52e00505f63802738d052e4a409

[WIP] Initial commit to the Teahouse extension

This code does not work yet. It is just a stub to have the repo filled
with something.

Change-Id: I6ee25f4ba290dfe1b5ad111ef891e39375663039