[submodule "mediawiki-php-wikidiff2"]
	path = mediawiki-php-wikidiff2
	url = git@github.com:wikimedia/mediawiki-php-wikidiff2.git