TypeScript 3.1 thinks document.head is nullable

:|
smogon · Oct 17, 2018 · 77df694 · 77df694
1 parent b39510a
commit 77df694
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/client-core.ts b/src/client-core.ts
@@ -71,7 +71,7 @@ if (!Object.create) {
 
 const PSURL = (() => {
 	let prefix = '';
-	if (document.location.protocol !== 'http:') prefix = 'https:';
+	if (document.location!.protocol !== 'http:') prefix = 'https:';
 	return prefix + '//play.pokemonshowdown.com/';
 })();
 
@@ -346,7 +346,7 @@ PSBackground.subscribe(bgUrl => {
 			buttonStyleElem = new HTMLStyleElement();
 			buttonStyleElem.id = 'mainmenubuttoncolors';
 			buttonStyleElem.textContent = cssBuf;
-			document.head.appendChild(buttonStyleElem);
+			document.head!.appendChild(buttonStyleElem);
 		}
 	} else {
 		buttonStyleElem.textContent = cssBuf;