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