Merge "Remove unused title parameter from EditPage::getEditToolbar()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 10 May 2019 16:20:09 +0000 (16:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 10 May 2019 16:20:09 +0000 (16:20 +0000)
commit81c91fd493fd52926b454826d621c60b7818503f
tree0734975b1412ff5c3dde5e93384aa3985b0e7820
parent888a8ec6852a3274107d1f307ef3d295a7947623
parentb4115ca9cf550c2e38dc0ef555f2f87d9d596453
Merge "Remove unused title parameter from EditPage::getEditToolbar()"
includes/EditPage.php