Commit 06db3036 authored by Maik Merten's avatar Maik Merten
Browse files

proguard: protect attributes defined by the HTML5 media API

parent 93901450
......@@ -9,6 +9,10 @@
# The mergeinterfacesaggressively option breaks Netscape 4 and possibly other JVMs.
-keep public class com.fluendo.player.Cortado {
public double currentTime;
public double duration;
public boolean paused;
public String src;
public void run();
public void doPause();
public void doPlay();
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment