remove the stale .gitmodules
It declares a mediawiki-php-wikidiff2 submodule, but there is no gitlink
for it in the index and no such directory on disk, so `git submodule`
has nothing to act on. Leftover from 5a3e410, when wikidiff2 persistence
was first being tried; the wikidiff2 source now reaches wikiq through
pywikidiff2 instead.
It was also being swept into the source distribution.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
(cherry picked from commit 2024dcc97d4013f0b5fc9ac89bf44c5ed8a2c06d)
This commit is contained in:
3
.gitmodules
vendored
3
.gitmodules
vendored
@@ -1,3 +0,0 @@
|
||||
[submodule "mediawiki-php-wikidiff2"]
|
||||
path = mediawiki-php-wikidiff2
|
||||
url = https://github.com/wikimedia/mediawiki-php-wikidiff2/
|
||||
Reference in New Issue
Block a user