Media Player - Dateierweiterungen

    Wie kann ich weitere Endungen zum Media Player hinzufügen?
    Ich habe z.B. von meiner Videokamera .mts Dateien. Wenn ich die Dateien in .mkv umbenenne, dann werden diese korrekt abgespielt.
    Ich habe bereits versucht zusätzliche Endungen in die Datei /usr/lib/enigma2/python/Plugins/Extensions/MediaPlayer/plugin.py einzutragen, leider ohne Erfolg.

    Die Datei ist schonmal richtig.
    Dort nach "mkv" suchen und dann in der Filelist die fehlenden Endungen hinzufügen.
    Dann werden auch die fehlenden Dateien angezeigt. Es werden jedoch nur die Formate richtig wiedergegeben die von der jeweiligen Dreambox auch Hardwareseitig verarbeitet werden können. DivX wird z.B. nur von der 8000er verarbeitet.

    Habe folgende Zeile bei mir drin stehen:
    self.filelist = FileList(defaultDir, matchingPattern = "(?i)^.*\.(mp2|mp3|ogg|ts|wav|wave|m3u|pls|e2pls|mpg|vob|avi|divx|mkv|mp4|m4a|dat|flac|mov|mts|mpeg)", useServiceRef = True, additionalExtensions = "4098:m3u 4098:e2pls 4098:pls")



    Die Dateien mit den Endungen mts und mpeg werden nicht angezeigt. Ich besitze eine 8000er. Habe natürlich neu gestartet, die entsprechende pyc Datei wurde von der py Datei erstellt.