Merge "TitleWidget: Use OOUI query highlighting, instead of jQuery lib"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Oct 2017 16:36:49 +0000 (16:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Oct 2017 16:36:49 +0000 (16:36 +0000)
commit667e0d7ad7bada0d76192d11fa95fe2ce529e7a4
tree57b0aede34cd8f2c687ddaf59ac7c6e74f9cf053
parentcf2016642c8dcb6c9a5ecdcad17418dd0523c267
parent023979a3d8f292306706c8862ee21744844b4438
Merge "TitleWidget: Use OOUI query highlighting, instead of jQuery lib"