From 11f9a564cad0f5a8fadd930fe7aab83ae56dfa2a Mon Sep 17 00:00:00 2001
From: VIEVILLE Thierry <thierry.vieville@inria.fr>
Date: Wed, 22 Nov 2023 14:20:51 +0000
Subject: [PATCH] Update index.php
---
app/tuto1/index.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/app/tuto1/index.php b/app/tuto1/index.php
index 5f0f92f..f4085cf 100644
--- a/app/tuto1/index.php
+++ b/app/tuto1/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>
--
GitLab