Merge "Special:Search: Generate toggle buttons in HTML instead of JavaScript"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 28 Dec 2018 23:08:40 +0000 (23:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 28 Dec 2018 23:08:40 +0000 (23:08 +0000)
commitc5a61564618e156d7aa9fc876d67cf4b736b2aea
tree757ced8a5c85fc26c1648504b534d242b7b4c263
parent0d3807c510762187f6364f22a3d1c78fab8f51d8
parent9719602b193f081748eb3eb1ac97a708bb8826c9
Merge "Special:Search: Generate toggle buttons in HTML instead of JavaScript"