Merge "resourceloader: Embed 'mediawiki' directly in startup response"
authorKrinkle <krinklemail@gmail.com>
Thu, 28 Jun 2018 01:43:55 +0000 (01:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Jun 2018 01:43:55 +0000 (01:43 +0000)
commitc04f2eb05d1babda486275fe88d872f7b0393d30
treee05e1780a0ffea1dc19bdcf9d53eeafa5b5d2c47
parent64b266b960a25a03af40ff0235d7a98d773098f9
parentb7b84d55d4ea396167cba2fcf81369f48f1a1837
Merge "resourceloader: Embed 'mediawiki' directly in startup response"
autoload.php