diff options
Diffstat (limited to 'src/plugins/android/wrappers/jmediaplayer.h')
| -rw-r--r-- | src/plugins/android/wrappers/jmediaplayer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/plugins/android/wrappers/jmediaplayer.h b/src/plugins/android/wrappers/jmediaplayer.h index f5cb11773..710246b9a 100644 --- a/src/plugins/android/wrappers/jmediaplayer.h +++ b/src/plugins/android/wrappers/jmediaplayer.h @@ -89,6 +89,8 @@ public: MEDIA_PLAYER_FINISHED = 6 }; + void release(); + int getCurrentPosition(); int getDuration(); bool isPlaying(); |