Fix playground edition detection

This commit is contained in:
Eric Huss 2025-02-26 05:50:25 -08:00
parent 98abb22be1
commit 66ded2302f

View file

@ -111,11 +111,11 @@ function playground_text(playground, hidden = true) {
let text = playground_text(code_block);
let classes = code_block.querySelector('code').classList;
let edition = "2015";
if(classes.contains("edition2018")) {
edition = "2018";
} else if(classes.contains("edition2021")) {
edition = "2021";
}
classes.forEach(className => {
if (className.startsWith("edition")) {
edition = className.slice(7);
}
});
var params = {
version: "stable",
optimize: "0",