Switch FUi to stable channel

This commit is contained in:
grandeljay 2022-10-10 10:26:02 +02:00
parent 44318823f3
commit f839fb1077
1170 changed files with 8538 additions and 42067 deletions

View file

@ -15,13 +15,13 @@ exports.FILES = [
require.resolve("./exports.js"),
];
new Function("exports", function() {
new Function("domprops", "exports", function() {
var code = exports.FILES.map(function(file) {
return fs.readFileSync(file, "utf8");
});
code.push("exports.describe_ast = " + describe_ast.toString());
return code.join("\n\n");
}())(exports);
}())(require("./domprops.json"), exports);
function to_comment(value) {
if (typeof value != "string") value = JSON.stringify(value, function(key, value) {