HTML5 <audio>: playback past 'end' position

[Markus Walther]

Unlike with the 'start' attribute, 'end' position setting seems not to work accurately:
audio playback stops approx. 0.4 seconds later, and 'end' values <= 'start' still result in audible sound for approx. 0.4 seconds.

Example:

<script>
var audio = new Audio("sample.wav");
audio.start= 0.873;
audio.end = 1.0;
audio.play();
</script>

[Mark Rowe (bdash)]

<rdar://problem/5975182>