Hope this is the right category.
Let's say a site is designed to allow a user to upload a video. The video will later be accessed by the user or others.
My understanding is the 3 formats are mp4, webm and ogg. If the user's video is in, say, avi or wmv format (or something other than the html 5 formats), is it essential for the user to convert the video themselves before upload, or can this somehow be done on the fly as it's being uploaded?