Merge "Allow extensions to add params to the update.php maintenance script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Mar 2019 16:33:55 +0000 (16:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Mar 2019 16:33:55 +0000 (16:33 +0000)
commita6facc8a0a4f9b54e0cfb1e5ef6f3991de752342
treed6dc657f9dbda2462e59854f27c36fafddfc357d
parent5a6be9f2599aa16ce2107ab1da64cc0f94fc5d13
parent4d5edb65f32f3c49fdc00368318066c3e7068089
Merge "Allow extensions to add params to the update.php maintenance script"
RELEASE-NOTES-1.33
maintenance/Maintenance.php