Merge "resourceloader: Preload WikiModule::getTitleInfo() in batches"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 8 Sep 2016 03:53:04 +0000 (03:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 8 Sep 2016 03:53:04 +0000 (03:53 +0000)
commitd11e4b90bd41d0e94a0b58ea1b53a158961b1c0d
tree71dba287de89a0175d59977697773d928ba5d3d3
parent5f42db0a6dd48e146809816dd371a976e48096c1
parentdbd11e04aa57647bd1c1916603985f8663b191ff
Merge "resourceloader: Preload WikiModule::getTitleInfo() in batches"