Files
mediawiki_dump_tools/.gitmodules
2025-06-30 15:37:54 -07:00

4 lines
131 B
Plaintext

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