add new jsxgraph version 1.9.0

jsxgraph · Jun 14, 2024 · 78b16eb · 78b16eb
1 parent 695b6c7
commit 78b16eb
Show file tree

Hide file tree

Showing 5 changed files with 68 additions and 3 deletions.
diff --git a/amd/src/jsxgraphcore-v1.9.0-lazy.js b/amd/src/jsxgraphcore-v1.9.0-lazy.js
diff --git a/db/install.php b/db/install.php
@@ -42,10 +42,11 @@
 function xmldb_filter_jsxgraph_install() {
 
     $release = 'v1.6.2'; // This value should be the same as in version.php!
-    $recommendedjsx = 'v1.8.0';
+    $recommendedjsx = 'v1.9.0';
 
     $versions = [
         ["id" => "auto"],
+        ["id" => '1.9.0', "label" => 'v1.9.0', "file" => 'jsxgraphcore-v1.9.0-lazy.js'],
         ["id" => '1.8.0', "label" => 'v1.8.0', "file" => 'jsxgraphcore-v1.8.0-lazy.js'],
         ["id" => '1.7.0', "label" => 'v1.7.0', "file" => 'jsxgraphcore-v1.7.0-lazy.js'],
         ["id" => '1.6.2', "label" => 'v1.6.2', "file" => 'jsxgraphcore-v1.6.2-lazy.js'],

diff --git a/db/upgrade.php b/db/upgrade.php
@@ -46,10 +46,11 @@
 function xmldb_filter_jsxgraph_upgrade($oldversion) {
 
     $release = 'v1.6.2'; // This value should be the same as in version.php!
-    $recommendedjsx = 'v1.8.0';
+    $recommendedjsx = 'v1.9.0';
 
     $versions = [
         ["id" => "auto"],
+        ["id" => '1.9.0', "label" => 'v1.9.0', "file" => 'jsxgraphcore-v1.9.0-lazy.js'],
         ["id" => '1.8.0', "label" => 'v1.8.0', "file" => 'jsxgraphcore-v1.8.0-lazy.js'],
         ["id" => '1.7.0', "label" => 'v1.7.0', "file" => 'jsxgraphcore-v1.7.0-lazy.js'],
         ["id" => '1.6.2', "label" => 'v1.6.2', "file" => 'jsxgraphcore-v1.6.2-lazy.js'],

diff --git a/libs/submodule_formulas_extension b/libs/submodule_formulas_extension
diff --git a/thirdpartylibs.xml b/thirdpartylibs.xml
@@ -1,5 +1,13 @@
 <?xml version="1.0"?>
 <libraries>
+    <library>
+        <location>amd/src/jsxgraphcore-v1.9.0-lazy.js</location>
+        <name>JSXGraph 1.9.0</name>
+        <version>1.9.0</version>
+        <license>LGPL</license>
+        <licenseversion>3.0+</licenseversion>
+    </library>
+
     <library>
         <location>amd/src/jsxgraphcore-v1.8.0-lazy.js</location>
         <name>JSXGraph 1.8.0</name>