Support rust edition in playground. (rust-lang#946)

The endpoint was recently updated to support the edition param.
Ruin0x11 · May 31, 2019 · dd729ee · dd729ee
1 parent 93ad20a
commit dd729ee
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/theme/book.js b/src/theme/book.js
@@ -101,11 +101,15 @@ function playpen_text(playpen) {
         }
 
         let text = playpen_text(code_block);
+        let classes = code_block.querySelector('code').classList;
+        let has_2018 = classes.contains("edition2018");
+        let edition = has_2018 ? "2018" : "2015";
 
         var params = {
             version: "stable",
             optimize: "0",
-            code: text
+            code: text,
+            edition: edition
         };
 
         if (text.indexOf("#![feature") !== -1) {