Merge "Remove deprecated hook EditPageBeforeEditChecks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 11 Jun 2018 23:53:58 +0000 (23:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 11 Jun 2018 23:53:58 +0000 (23:53 +0000)
commit6fdfad6ddd484e2ed2a3386e84f26d5236aafbe7
tree13e28d1e616194bc32cde444fa3c03e949dec661
parent52701e8a199b85a2bb857fe6b0050f6658e49679
parent8a7b7c3f119da219e0d56fce7680374323d77734
Merge "Remove deprecated hook EditPageBeforeEditChecks"
includes/EditPage.php