Use documentElement instead of getElementById

aidalgol · aidalgol · commit c4dc59dc413d · 2017-11-26T13:46:47.000+13:00
Use documentElement to get the root &lt;html&gt; element instead of adding an id to
the root element.
diff --git a/src/vector/index.html b/src/vector/index.html
@@ -1,5 +1,5 @@
 <!doctype html>
-<html id="mx_PageRoot" lang="en" style="height: 100%;">
+<html lang="en" style="height: 100%;">
   <head>
     <meta charset="utf-8">
     <title>Riot</title>
diff --git a/src/vector/index.js b/src/vector/index.js
@@ -382,7 +382,7 @@ async function loadLanguage() {
     }
     try {
         await languageHandler.setLanguage(langs);
-        document.getElementById("mx_PageRoot").setAttribute("lang", languageHandler.getCurrentLanguage());
+        document.documentElement.setAttribute("lang", languageHandler.getCurrentLanguage());
     } catch (e) {
         console.error("Unable to set language", e);
     }

Original file line number	Diff line number	Diff line change
`@@ -382,7 +382,7 @@ async function loadLanguage() {`
`382`	`382`	`}`
`383`	`383`	`try {`
`384`	`384`	`await languageHandler.setLanguage(langs);`
`385`		`- document.getElementById("mx_PageRoot").setAttribute("lang", languageHandler.getCurrentLanguage());`
	`385`	`+ document.documentElement.setAttribute("lang", languageHandler.getCurrentLanguage());`
`386`	`386`	`} catch (e) {`
`387`	`387`	`console.error("Unable to set language", e);`
`388`	`388`	`}`