Merge "resourceloader: avoid use of $.globalEval in mediawiki.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 May 2018 16:40:07 +0000 (16:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 May 2018 16:40:07 +0000 (16:40 +0000)
commit81a7885a4556899b6c7af609a720fdc588628662
treeff8e342fbf8ecbc3ec25f0046ad62a3bc66ddcfc
parentcc0fe6c4a7cfad4dcecad5372c630d804914e4b2
parent75ca30a215ad9209dc95788e9d5c2d8c210a7e78
Merge "resourceloader: avoid use of $.globalEval in mediawiki.js"