added .mkv to media extensions

diff --git a/vlcplayer/src/VlcFileList.py b/vlcplayer/src/VlcFileList.py
index 3ca3832..167b0c2 100755 (executable)
--- a/vlcplayer/src/VlcFileList.py
+++ b/vlcplayer/src/VlcFileList.py
@@ -31,6 +31,7 @@ MEDIA_EXTENSIONS = {
                "wmv": "movie",
                "mov": "movie",
                "iso": "movie",
+               "mkv": "movie",
                "flv": "movie"
        }