/*
[b4c01b5573b92dfa71a133a3] 2025-08-31 19:17:02: Fatal exception of type "Wikimedia\DependencyStore\DependencyStoreException"
*/
/* 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. */