Merge "Remove two unused constants from EditPage.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Jul 2014 20:25:02 +0000 (20:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Jul 2014 20:25:02 +0000 (20:25 +0000)
commita30d1c7fe6039e9670bae3e63cf9a0dc6cdbbcf8
tree7fcb0f49554ba95f6de9acdd7e892cbdb2302021
parent70f876df43edd086f585d13bb34ee767f6b3c668
parentda5090774fd2374db92ea91308b8f5d2f4c4d975
Merge "Remove two unused constants from EditPage.php"