Making a repo just because I don't know how to install a mediawiki extension otherwise...