try #5373 @0:10

diff --git a/inc/ws/Controlleur/class.ws.maintenance.php b/inc/ws/Controlleur/class.ws.maintenance.php
index a842503b9dc3f7c64af2ca3b5784e315fc5d1d04..23456d6d09ed17bf218d50b6ae7a58b7b65fcde8 100644 (file)
--- a/inc/ws/Controlleur/class.ws.maintenance.php
+++ b/inc/ws/Controlleur/class.ws.maintenance.php
@@ -1771,6 +1771,9 @@ class wsMaintenance
 
     }
 
+    public function updateHTML5Source(){
+        echo file_get_contents('https://toolbox.fluidbook.com/openmaintenance/updatesources');
+    }
 }