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

You can download the new extension through the Extension Manager (Menu->Tools->Extension Manager->Online Gallery).
or here
http://extensions.quickandeasywebbuilder.com/
PDF documentation is included in the download.