based on mediaelement.js this create a html5 compatible video playlist using php