# See /resources/lib/foreign-resources.yaml in MediaWiki Core for a detailed explanation of the # format of this file. # Ideally we'd use https://gerrit.wikimedia.org/g/mediawiki/libs/metrics-platform/+archive/X.tar.gz # instead of GitHub mirror, but https://github.com/google/gitiles/issues/217 metrics-platform: type: tar src: https://codeload.github.com/wikimedia/metrics-platform/tar.gz/fcdd0b68dec2aba69ac5c0a3a8daabb858bcb1ff integrity: sha384-MV7ZmbzHwsdMt1CZ8R0tr5FOZ1D8LPA5Rr4uHTlYzx5QaajMQaztTf+rKNLB+PWy # GitHub nests their archives with a variable subdirectory... dest: metrics-platform-*/COPYING: metrics-platform-*/js/src/*.js: