Merge "foreign-resources.yaml: Add jquery.chosen"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Jun 2019 21:23:33 +0000 (21:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Jun 2019 21:23:33 +0000 (21:23 +0000)
commit3020d27638add607e9d86622652221c3729faf87
tree1f12e8802ad0a804fbe18b613041d52c2409ad80
parent7810f6b626991a61860b0628f00dca86aaf4396f
parent2cc444bc5877e62e9de63846a18ff2ce0eb833b7
Merge "foreign-resources.yaml: Add jquery.chosen"
resources/lib/foreign-resources.yaml