When mkv file uploaded to Gradio it converts to mp4 and this takes massive time

[FurkanGozukara]

This behaviour should be changed

mkv is perfectly playable

Convert to mp4 maybe only needed if browser throws error etc

I am uploading 2.4GB mkv file and it takes forever to get it displayed

Now ChatGPT 5.5 identified this issue and i am trying to patch it but this should be default behaviour

just upload a big mkv file into a video preview field

edit

ChatGPT 5.5 was able to patch it to skip this conversation and it works perfect