Merge "mediawiki.router: use this"
commit5c5d0882efabcb68cd246322f67a68c490cef0b9
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Oct 2024 00:21:10 +0000 (16 00:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Oct 2024 00:21:10 +0000 (16 00:21 +0000)
tree49dac6221939eb43032c7f820dcc63bd0dde76eb
parenta5387c7c208b23b848f3c93a84a58ebb14c698cf
parent3acd948ed448c7f5d902a6bd1757d543d42c1909
Merge "mediawiki.router: use this"