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)
1  2 
autoload.php

diff --cc autoload.php
Simple merge