让VLC Media Player支持毫秒

#前言

为了制作一个视频标注工具,需要视频播放器,选取VLC Media Player,它虽然可以通过web控制但是不能显示毫秒,为了精细化标注,肯定是要解决这个问题的,记录之。