Disqus commenting system extension for MediaWiki