[submodule "mediawiki-php-wikidiff2"]
	path = mediawiki-php-wikidiff2
	url = ssh://nathante@gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2.git