Merge "resourceloader: Improve titleInfo docs and simplify title key"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Apr 2018 22:43:19 +0000 (22:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Apr 2018 22:43:19 +0000 (22:43 +0000)
commit248dae37e7d8da1f7748395d0b0b9973e520d95b
tree089ea48d5a0b5cb4065c3390294f2501de1aa7e0
parent65ebee38ba67f86ef63c59e338e531a5908cfaca
parentdfb754cbc633b7b653ae94bf9d64a88d6adad7c7
Merge "resourceloader: Improve titleInfo docs and simplify title key"