HTML5 video with playlist

This extension adds a playlist to the standard HTML5 video player.