Add Pluto 0.10.0

PlutoLang · Oct 29, 2024 · 3a7bd8c · 3a7bd8c
1 parent 0d19579
commit 3a7bd8c
Show file tree

Hide file tree

Showing 6 changed files with 45 additions and 3 deletions.
diff --git a/manifest.json b/manifest.json
@@ -11,7 +11,8 @@
         "0.9.2": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.2/pluto.js",
         "0.9.3": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.3/pluto.js",
         "0.9.4": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.4/pluto.js",
-        "0.9.5": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.5/pluto.js"
+        "0.9.5": "https://pluto-lang.org/wasm-builds/out/pluto/0.9.5/pluto.js",
+        "0.10.0": "https://pluto-lang.org/wasm-builds/out/pluto/0.10.0/pluto.js"
     },
     "libpluto": {
         "0.8.0": "https://pluto-lang.org/wasm-builds/out/libpluto/0.8.0/libpluto.js",
@@ -22,7 +23,8 @@
         "0.9.2": "https://pluto-lang.org/wasm-builds/out/libpluto/0.9.2/libpluto.js",
         "0.9.3": "https://pluto-lang.org/wasm-builds/out/libpluto/0.9.3/libpluto.js",
         "0.9.4": "https://pluto-lang.org/wasm-builds/out/libpluto/0.9.4/libpluto.js",
-        "0.9.5": "https://pluto-lang.org/wasm-builds/out/libpluto/0.9.5/libpluto.js"
+        "0.9.5": "https://pluto-lang.org/wasm-builds/out/libpluto/0.9.5/libpluto.js",
+        "0.10.0": "https://pluto-lang.org/wasm-builds/out/libpluto/0.10.0/libpluto.js"
     },
     "lua": {
         "5.1.1": "https://pluto-lang.org/wasm-builds/out/lua/v5.1.1/lua.js",

diff --git a/out/libpluto/0.10.0/libpluto.js b/out/libpluto/0.10.0/libpluto.js
diff --git a/out/libpluto/0.10.0/libpluto.wasm b/out/libpluto/0.10.0/libpluto.wasm
diff --git a/out/pluto/0.10.0/pluto.js b/out/pluto/0.10.0/pluto.js
diff --git a/out/pluto/0.10.0/pluto.wasm b/out/pluto/0.10.0/pluto.wasm
diff --git a/update_manifest.php b/update_manifest.php
@@ -5,7 +5,9 @@
 foreach ($repos as $repo => $_)
 {
 	$json[$repo] = [];
-	foreach (scandir("out/".$repo) as $tag)
+	$tags = scandir("out/".$repo);
+	usort($tags, "version_compare");
+	foreach ($tags as $tag)
 	{
 		if (substr($tag, 0, 1) != ".")
 		{