window.addEventListener("load", function () {
		if(window.location.pathname.includes("Main_Page")){
			window.document.title = "Coral Island Wiki";
			
		}
	});/* 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. */