Merge "Deprecate old interwiki search result widget"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jan 2018 13:35:36 +0000 (13:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jan 2018 13:35:36 +0000 (13:35 +0000)
commit35b9d17334941d8b77d811a1e5be56684566f273
treeb42ad49d99c10ce18fa85cbe5829ba35c56896bc
parentfded33d6deb75ecd50eb5ba8f1bea03106474308
parentd95f644e80fb894ca4f22a9fcdeab53cde9dedc9
Merge "Deprecate old interwiki search result widget"