/* This file is the Web entry point for MediaWiki's ResourceLoader: . In this request, no modules were requested. Max made me put this here. */