Merge "Move pager inside searchresults div"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Aug 2015 05:58:56 +0000 (05:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Aug 2015 05:58:56 +0000 (05:58 +0000)
commita71e5b032548166e6c65418075faf36bf1ccfa66
tree284120be0df31123c6ee9365b49c33bf9009487f
parentc4cd2399390f7922c88bb521c39bfbefe000338e
parente7082c04a18e3f9bd49a9ebcedfbb030e57ed973
Merge "Move pager inside searchresults div"
includes/specials/SpecialSearch.php