/*
[3eeed436d51a318a91d3c3a6] 2026-01-09 20:54:57: Fatal exception of type "Wikimedia\Rdbms\DBConnectionError"
*/
/* 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. */