/* 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.627    103 - AutoLoader::autoload
  0.00% 2.169     11 - MediaWiki\MediaWikiServices::getInstance
  0.00% 1.977     18 - MediaWiki\MediaWikiServices::getService
  0.00% 1.972     18 - Wikimedia\Services\ServiceContainer::getService
  0.00% 1.966      7 - Wikimedia\Services\ServiceContainer::createService
  0.00% 1.932      7 - Wikimedia\Services\ServiceContainer::{closure}
  0.00% 1.920    541 - AutoLoader::autoload@1
  0.00% 1.090     28 - MediaWiki\MediaWikiServices::getService@1
  0.00% 1.087     28 - Wikimedia\Services\ServiceContainer::getService@1
  0.00% 1.076     11 - Wikimedia\Services\ServiceContainer::createService@1
  0.00% 1.070      1 - MediaWiki\MediaWikiEntryPoint::run
  0.00% 1.068      1 - MediaWiki\ResourceLoader\ResourceLoaderEntryPoint::execute
  0.00% 1.057     10 - Wikimedia\Services\ServiceContainer::{closure}@1

*/