Merge "Remove jquery.ui.spinner"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Mar 2019 19:40:39 +0000 (19:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Mar 2019 19:40:39 +0000 (19:40 +0000)
commitbdebf9e22c0a28833f528d6262a39a2d0a069513
treed34500de8e136a5ff87ae66fea13023bb56a346a
parent9a3aa7733b077ec7ac1c74682d5cc183aebaa3c0
parent6c0c0314bd3c98ac682aabf3483b9592abb6a126
Merge "Remove jquery.ui.spinner"
resources/Resources.php