Re: [MediaWiki-l] [Wikitech-l] New extension: Diff