Merge "resourceloader: Add type hints for type ResourceLoaderContext"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Sep 2019 20:22:10 +0000 (20:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Sep 2019 20:22:10 +0000 (20:22 +0000)
commite8f31f6255c3fdfbb1d7ff818be96e0333372e9e
treea2359527976477c1e9cc269c83fe992134d31d67
parentf725f4182a7b44a311761207cd95541c33f6abd7
parent69981b6476c06645c51dfab1ba03b2c2a6d4d5e5
Merge "resourceloader: Add type hints for type ResourceLoaderContext"