Hey, I'm happy to announce the first release of a new little extension I wrote called Diff.
https://www.mediawiki.org/wiki/Extension:Diff It's a small utility library which might be of use to anyone creating a new extension :) Cheers -- Jeroen De Dauw http://www.bn2vs.com Don't panic. Don't be evil. -- _______________________________________________ MediaWiki-l mailing list MediaWiki-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-l