Merge "resources: Register jquery.cookie as foreign resource"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 24 Sep 2018 15:45:43 +0000 (15:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 24 Sep 2018 15:45:43 +0000 (15:45 +0000)
commit74cda7f621518a546fbdee855c378307cad638be
tree32063e26ac89a543d94408e4e2bf414de5fd398f
parent74d04edec385aa86ee01943b9a27475d79f74e78
parentf6be6e3f198f1cb5caabff496cdf66862bbc671d
Merge "resources: Register jquery.cookie as foreign resource"