chore: bump mediawiki to 1.42.3, bump extensions#779

Merged

adeeri merged 2 commits intomainfrom prepare-wikibase-1.42.3

Oct 23, 2024

+12-12

Commits on Oct 2, 2024

chore(wikibase): bump mediawiki to 1.42.3, bump extensions
rti
committed

Commits on Oct 9, 2024

Merge branch 'main' into prepare-wikibase-1.42.3
rti
authored