(no commit message)

diff --git a/inc/config.inc.php b/inc/config.inc.php
index 72f2f212bc3404f6afafaa44150d693e59edb352..aea0ae1fd088e52b8c2baa4c2ee7c375ab7c9348 100644 (file)
--- a/inc/config.inc.php
+++ b/inc/config.inc.php
@@ -34,6 +34,8 @@ define('WS_COMPILE_ASSETS', WS_FILES . '/compile');
 define('WS_SOUNDS', WS_FILES . '/sounds');\r
 define('WS_TOOLS', WS_FILES . '/tools');\r
 define('WS_SHM', '/dev/shm');\r
+define('WS_HTML5_PROD_REV', '7117');\r
+define('WS_HTML5_DEV_REV', 'HEAD');\r
 \r
 define('WORKER_PREFIX', 'worker.');\r
 \r

diff --git a/inc/ws/Controlleur/class.ws.maintenance.php b/inc/ws/Controlleur/class.ws.maintenance.php
index 6101a00495f390f5ec615a16ed5c3fb7cc9dc424..1df1b4616d9b69157a220eb97db555ac61ccde6e 100644 (file)
--- a/inc/ws/Controlleur/class.ws.maintenance.php
+++ b/inc/ws/Controlleur/class.ws.maintenance.php
@@ -734,6 +734,11 @@ class wsMaintenance {
                ldap_close($ds);\r
                return $res;\r
        }\r
+       \r
+       public static function updateHTML5Sources(){\r
+               $svn=new cubeCommandLine('svn');\r
+               $svn->setPath(CONVERTER_PATH);\r
+       }\r
 \r
 }\r
 \r