Merge "jquery3.js -> jquery.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Nov 2017 07:11:56 +0000 (07:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Nov 2017 07:11:56 +0000 (07:11 +0000)
commiteaea890a0966a31292f7ccafebaa7b04182abc73
tree93bcc67b71aef320dff41e7190e1d78e3e2f76fa
parentf5baf27bb89a4306e77e7ad1183791f775888199
parentdc8a2fee5852b1d8249dd0b441883dcc241f5207
Merge "jquery3.js -> jquery.js"