Re: [webkit-dev] Making sure the behavior of updating duration of HTMLMediaElement and MediaSource