This is a MediaWiki extension.