Merge "Hygiene: Make construction of buttons easier"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Oct 2014 00:22:48 +0000 (00:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Oct 2014 00:22:48 +0000 (00:22 +0000)
commitabc32b28495adb5f5fe8fb7f467d19b52835d486
tree01f4dfcd51fbb65faadd4eadb24a4e83099d7bbb
parent8591d1516492788daf178a9cde11bfdf3dd4c3a0
parenta155ac55ea0854b0989efe23158d33b5a548f14e
Merge "Hygiene: Make construction of buttons easier"
includes/specials/SpecialBooksources.php
includes/specials/SpecialSearch.php