Merge "resources: Move non-jquery files from /resources/lib/jquery to /resources...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Aug 2018 17:53:23 +0000 (17:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Aug 2018 17:53:23 +0000 (17:53 +0000)
commit58f4150936884692562f19c97ff24b4956d82f78
tree7d73f123deb941c50dafb535b3555d798bc5a4dc
parentf7e3ee20bb0384ff81752df8e53beca07c339304
parent9f86db20286c2c39ae5f134a31ad2927441340d0
Merge "resources: Move non-jquery files from /resources/lib/jquery to /resources/lib"
resources/Resources.php