Merge "resourceloader: Optimize module registry sent in the startup module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 27 Apr 2014 15:45:10 +0000 (15:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 27 Apr 2014 15:45:10 +0000 (15:45 +0000)
commit280cb03b4d87e864a723686daf5d1699b3566ec1
treea5baa508233bce72033c983ccbc7b0077a3a15d1
parent6e607d2d548a11a107d733b7bfcfe73340bd8b5d
parentdf8176e8a56ecc380da41f037435ff2a066690ec
Merge "resourceloader: Optimize module registry sent in the startup module"
includes/resourceloader/ResourceLoaderStartUpModule.php