Merge "resourceloader: Implement 'deprecated' option for FileModule"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Aug 2016 18:48:39 +0000 (18:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Aug 2016 18:48:39 +0000 (18:48 +0000)
commit213154a32259f31a42c78dd2faab8959953c9672
tree6c9d001faa17f9b10cd1ab530b295269dd7dc763
parent1d7221d066c01c3fa6fb3e539cebd9fe7a91550f
parent8af960e48469f6eec8aecf0ca2fc64f2b464472a
Merge "resourceloader: Implement 'deprecated' option for FileModule"