Merge "Remove search preferences from Special:Preferences JavaScript"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 31 Oct 2015 22:49:15 +0000 (22:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 31 Oct 2015 22:49:15 +0000 (22:49 +0000)
commitb689baeb0208302824349396152b75be3b4e08f0
tree02cf86873e139d202f2ddeecc5ff6437326a775b
parent00d33e2e8552f2d519be16f2287cee6f707966fa
parent43faee99ff6ec54e29361a65ed65dfb4ee885e12
Merge "Remove search preferences from Special:Preferences JavaScript"