mediawiki_dump_tools/.gitmodules

4 lines
131 B
Plaintext

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