diff -r 1615c7e4ef9d -r 9521347ede1d src/js/html-player.js
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/js/html-player.js Wed May 15 15:35:15 2013 +0200
@@ -0,0 +1,121 @@
+/* HTML player, to be reused in a widget, or elsewhere */
+
+IriSP.htmlPlayer = function(media, jqselector, options) {
+
+ var opts = options || {},
+ videoURL = opts.video || media.video;
+
+ if (typeof opts.url_transform === "function") {
+ videoURL = opts.url_transform(videoURL);
+ }
+
+ var videoEl = IriSP.jQuery('