web/res/metadataplayer/AdaptivePlayer.js
changeset 955 5171f8825985
parent 765 8cde4d15a173
child 1304 10974bff4dae
--- a/web/res/metadataplayer/AdaptivePlayer.js	Thu Sep 26 14:46:53 2013 +0200
+++ b/web/res/metadataplayer/AdaptivePlayer.js	Tue Oct 01 16:33:47 2013 +0200
@@ -8,7 +8,7 @@
     mime_type: "video/mp4",
     normal_player: "HtmlPlayer",
     fallback_player: "JwpPlayer"
-}
+};
 
 IriSP.Widgets.AdaptivePlayer.prototype.draw = function() {
     
@@ -30,4 +30,4 @@
 
     this.insertSubwidget(this.$, _opts);
     
-}
\ No newline at end of file
+};
\ No newline at end of file