Public release of MediaWiki extensions developed by Microsoft - View it on GitHub