Public Git Hosting - mediawiki.git/commit

commit	651c43140fe78594a387a970b406159bcefd20cd
author	Max Semenik <maxsem.wiki@gmail.com>
	Tue, 29 Oct 2013 23:43:53 +0000 (30 03:43 +0400)
committer	Max Semenik <maxsem.wiki@gmail.com>
	Fri, 1 Nov 2013 22:28:13 +0000 (2 02:28 +0400)
tree	1d057635a15fa6c2f4aeb21808ec22cedd1e0e64	tree \| snapshot (tar.gz zip)
parent	9ac169436982d5072e6f29e3084bb69a93bb9d74	commit \| diff

DifferenceEngine minor fixes

* Function docs
* Remove useless variable assignment

Change-Id: I292e1391e0c24399b2c203b9f7fe7c58df089ad0

MediaWiki Core