for h5 timestamp parse bug (#1084)

zhaomingwork

2023-11-14 1966047a0b4f307a088981e7e014588433bd499e

 runtime/html5/static/main.js

@@ -315,7 +315,7 @@
   {

      return tmptext;

   }

   tmptext=tmptext.replace(/。/g, ","); // in case there are a lot of "。"

   tmptext=tmptext.replace(/。|？|，|、|\?|\./g, ","); // replace all punc for parse

   var words=tmptext.split(",");

   var jsontime=JSON.parse(tmptime); //JSON.parse(tmptime.replace(/\]\]\[\[/g, "],[")); // in case there are a lot segments by VAD

   var char_index=0;