From 0fdf0effd8a850f77cb505e2d10951f2d3420598 Mon Sep 17 00:00:00 2001
From: vthierry <thierry.vieville@inria.fr>
Date: Fri, 24 Nov 2023 03:23:13 +0100
Subject: [PATCH] update version ml5

---
 app/tuto2/index.php      | 2 +-
 app/tuto3-1/index.php    | 2 +-
 app/tuto3-2/index.php    | 2 +-
 app/tuto3-3/index.php    | 2 +-
 app/tuto3-4/index.php    | 2 +-
 app/tuto3-ai4t/index.php | 2 +-
 app/tuto3/index.php      | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/app/tuto2/index.php b/app/tuto2/index.php
index 7a40f46..d3eb040 100644
--- a/app/tuto2/index.php
+++ b/app/tuto2/index.php
@@ -51,7 +51,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3-1/index.php b/app/tuto3-1/index.php
index f5ce6ad..b3ed60b 100644
--- a/app/tuto3-1/index.php
+++ b/app/tuto3-1/index.php
@@ -59,7 +59,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3-2/index.php b/app/tuto3-2/index.php
index c98ed8c..670dcc9 100644
--- a/app/tuto3-2/index.php
+++ b/app/tuto3-2/index.php
@@ -59,7 +59,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3-3/index.php b/app/tuto3-3/index.php
index bed6735..f73b48b 100644
--- a/app/tuto3-3/index.php
+++ b/app/tuto3-3/index.php
@@ -59,7 +59,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3-4/index.php b/app/tuto3-4/index.php
index 3ad67a5..f80d88e 100644
--- a/app/tuto3-4/index.php
+++ b/app/tuto3-4/index.php
@@ -59,7 +59,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3-ai4t/index.php b/app/tuto3-ai4t/index.php
index 789e527..0b9f6fc 100644
--- a/app/tuto3-ai4t/index.php
+++ b/app/tuto3-ai4t/index.php
@@ -59,7 +59,7 @@ $lang = isset($_GET['lang']) ? $_GET['lang'] : 'fr';
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
diff --git a/app/tuto3/index.php b/app/tuto3/index.php
index 8ab34ac..8208330 100644
--- a/app/tuto3/index.php
+++ b/app/tuto3/index.php
@@ -66,7 +66,7 @@ if(count($arrayPages)==2){
 	<!-- scripts ------>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding-indexes.js'></script>
     <script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/encoding.js'></script>
-    <script type='text/javascript' src='https://unpkg.com/ml5@0.4.2/dist/ml5.min.js'></script>
+    <script type='text/javascript' src='https://unpkg.com/ml5@0.12.2/dist/ml5.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/deparam.min.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/jquery.router.js'></script>
 	<script type='text/javascript' src='<?php echo $tutoURL; ?>/assets/js/libs/handlebars-v4.4.3.js'></script>
-- 
GitLab