/* Cannot show private module "user.options" */ if (window.console && console.error) {console.error("Cannot show private module \"user.options\"");} /* This file is the Web entry point for MediaWiki's ResourceLoader: . In this request, no modules were requested. Max made me put this here. */