/* This file is the Web entry point for MediaWiki's ResourceLoader:
   <https://www.mediawiki.org/wiki/ResourceLoader>. In this request,
   no modules were requested. Max made me put this here. */
/*
  0.00% 2.666    103 - AutoLoader::autoload
  0.00% 2.140     11 - MediaWiki\MediaWikiServices::getInstance
  0.00% 2.090     18 - MediaWiki\MediaWikiServices::getService
  0.00% 2.086     18 - Wikimedia\Services\ServiceContainer::getService
  0.00% 2.079      7 - Wikimedia\Services\ServiceContainer::createService
  0.00% 2.040      7 - Wikimedia\Services\ServiceContainer::{closure}
  0.00% 1.902    541 - AutoLoader::autoload@1
  0.00% 1.179      1 - MediaWiki\MediaWikiEntryPoint::run
  0.00% 1.176      1 - MediaWiki\ResourceLoader\ResourceLoaderEntryPoint::execute
  0.00% 1.167     28 - MediaWiki\MediaWikiServices::getService@1
  0.00% 1.164     28 - Wikimedia\Services\ServiceContainer::getService@1
  0.00% 1.160     11 - Wikimedia\Services\ServiceContainer::createService@1
  0.00% 1.136     10 - Wikimedia\Services\ServiceContainer::{closure}@1

*/