Merge "Mark overriding Maintenance::runChild as hard-deprecated"
commit7a1bc97c09511d0e9415a4b6fd8673e20382ceea
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 15 Oct 2024 17:41:15 +0000 (15 17:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 15 Oct 2024 17:41:15 +0000 (15 17:41 +0000)
tree3e7c7fedada569f443786a78ba5576f3b3aeb561
parente6494a917fcff8b300eced85ddafb76df196b347
parent0747e4238fbee7f9f8a5f22e7e7391a8027cfb1e
Merge "Mark overriding Maintenance::runChild as hard-deprecated"
maintenance/includes/Maintenance.php