Merge "resourceloader: Hard-deprecate ResourceLoaderContext::getConfig"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 31 Jul 2019 16:52:13 +0000 (16:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 31 Jul 2019 16:52:13 +0000 (16:52 +0000)
commitc2d7ede3b36278a662ccc3c465d271d8ed7f3ed2
tree0f8785377fb18bffa98a91fe7c1c4e9be623d904
parenta26e1114b0e97429b9f3bf8535edcd36b213fb54
parentfb7bed386340836414ac955c82c1096b3b389c2a
Merge "resourceloader: Hard-deprecate ResourceLoaderContext::getConfig"