mediawiki: update to 1.42.1 #216

Merged

teutat3s merged 2 commits from mediawiki-update into main

2024-07-17 13:09:03 +00:00

Author	SHA1	Message	Date
teutat3s	e1e0faa592	docs: updates for mediawiki maintenances All checks were successful Flake checks / Check (pull_request) Successful in 8m7s Details	2024-07-15 18:51:15 +02:00
teutat3s	26e96dfac5	mediawiki: update to v1.42.1	2024-07-15 18:51:10 +02:00