initial commit of old MediaWiki extension