Merge "Give the search page a little UI love"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Nov 2013 00:58:50 +0000 (00:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Nov 2013 00:58:50 +0000 (00:58 +0000)
commit2a18e8dc655413fca645a080dad0d7faed0b491f
tree01455fd5516ee3810cd2c39783c1fb2155bdb326
parentda4dab226d5155b08bdc78ae2881798fd81541df
parent3d7023e7ed72ebf7bf194294cf4bf0af879c0388
Merge "Give the search page a little UI love"