Dumping Flash video.
We are playing flash videos one last time to convert them to ogg vorbis type format. We are using software like "recordmydesktop" to create new videos. Then on the server you can use code like the following: < video width =" 320 " height =" 320 " controls > < source src =" installapp.ogv " type =" video/ogg "> </ video >