/* 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.630    103 - AutoLoader::autoload
  0.00% 2.190     11 - MediaWiki\MediaWikiServices::getInstance
  0.00% 1.959     18 - MediaWiki\MediaWikiServices::getService
  0.00% 1.956     18 - Wikimedia\Services\ServiceContainer::getService
  0.00% 1.951      7 - Wikimedia\Services\ServiceContainer::createService
  0.00% 1.930    541 - AutoLoader::autoload@1
  0.00% 1.914      7 - Wikimedia\Services\ServiceContainer::{closure}
  0.00% 1.059     28 - MediaWiki\MediaWikiServices::getService@1
  0.00% 1.052     28 - Wikimedia\Services\ServiceContainer::getService@1
  0.00% 1.047     11 - Wikimedia\Services\ServiceContainer::createService@1
  0.00% 1.045      1 - MediaWiki\MediaWikiEntryPoint::run
  0.00% 1.043      1 - MediaWiki\ResourceLoader\ResourceLoaderEntryPoint::execute
  0.00% 1.023     10 - Wikimedia\Services\ServiceContainer::{closure}@1

*/