ach wrote
Good news: Today someone created a
HTML5 Video Plugin. But so far that does neither support a fallback nor multiple files. But at least it supports a variety of filetypes.
Oh lookie! Someone noticed my plugin! You're right. It does support the main three web video formats, but I would like it to give you the option for multiple files. Doing a fallback to flash in the worst case is an interesting idea, though a bit out of scope, I think... especially since are other plugins that handle flash players already. I have to admit that this is my first DokuWiki plugin; does the API allow me to detect if you have another plugin (like the flowplayer plugin) installed and fall back to that? That would be the ideal scenario.
As for handling multiple files, that's absolutely on my TODO list. I'm curious about the best way to handle it, though. The simplest method would be to have a 'fallback' or 'alts' parameter in the syntax that blindly adds links to fallback file formats, changing just the extension. A cleaner way would be to query check and see if those files actually exist first. Is there a media manager API, or should I just be checking the directories on the server directly?