Merge "resourceloader: Document encodeJsonForScript() type as mixed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Sep 2019 20:47:04 +0000 (20:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Sep 2019 20:47:04 +0000 (20:47 +0000)
commitff45bb8baaca23b0ddf89a8e6548f582703d8248
tree093a4a571dc1ffc1eb2ab8d90f33fc52bc8f929b
parent3871d05366969b1654badb034b8c6c269d662126
parent8e7b469a124d1d616964a5e6546f232bfc750467
Merge "resourceloader: Document encodeJsonForScript() type as mixed"