fix deprecation warning for mediawiki update script #134

Merged

vegardbm merged 1 commits from mediawiki-update-script-warnings into main

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

Author	SHA1	Message	Date
vegardbm	40b52b881e	fix deprecation warning for mediawiki update script Eval nix flake / evals (push) Successful in 5m46s Details Eval nix flake / evals (pull_request) Successful in 4m43s Details	2026-05-09 20:26:44 +02:00