[Mediawiki-l] New diff feature for MediaWiki