I exported two videos from Photoshop using the standard export movie tool. The dialog is the standard Quicktime Export that we're used to seeing from the beginning of times.

For each movie I chose the WebM (QT Extension) and h.264 as a codec. Both file names come out with a .mov extension, but are encoded with their appropriate codec.

Their final destination is a website, where they will be embedded with the html5 video tag. If I manually change their extension to .webm and .mp4, will they work when I upload them to the server?