vegardbm 2fcaf5893f fix deprecation warning for mediawiki update script

2026-05-09 20:40:14 +02:00

..

default.nix

packages/mediawiki-extensions: bump all

2026-01-29 13:34:42 +09:00

update-mediawiki-extensions.py

fix deprecation warning for mediawiki update script

2026-05-09 20:40:14 +02:00