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. --