1 files changed, 35 insertions, 0 deletions
diff --git a/debian/missing-sources/mediaelement/src/htmlelements/IMediaElement.as b/debian/missing-sources/mediaelement/src/htmlelements/IMediaElement.as
new file mode 100644
index 0000000..d626607
--- /dev/null
+++ b/debian/missing-sources/mediaelement/src/htmlelements/IMediaElement.as
@@ -0,0 +1,35 @@
+
+package htmlelements
+{
+
+	public interface IMediaElement {
+
+		function play():void;
+
+		function pause():void;
+
+		function load():void;
+
+		function stop():void;
+
+		function setSrc(url:String):void;
+		
+		function setSize(width:Number, height:Number):void;
+
+		function setCurrentTime(pos:Number):void;
+
+		function setVolume(vol:Number):void;
+		
+		function getVolume():Number;
+
+		function setMuted(muted:Boolean):void;
+
+		function duration():Number;
+
+		function currentTime():Number;
+		
+		function currentProgress():Number;
+		
+	}
+
+}