如何使用JS代码获取audio的播放时间,并显示播放进度?麻烦贴一下代码示例和注释,感谢了<audio id="audio" controls><source src="horse.ogg" type="audioogg"&am2023-04-21JavaScript230