Reply to thread

Hi.

Title says all. All those video extensions are not in the list of "known" video extensions, but they should, imho. Very easy to add and did not harm in any way, so we should do it.

A patched file is attached.