PHP: Download a movie instead of view

I should have known this, I probably did and forgot.
To make a movie download instead of play, esp. with these fancy new html5 browsers:

<?php
header('Content-disposition: attachment;filename=movie.mpg');
header('Content-type: video/mpeg');
readfile('movie.mpg');
?>

http://www.boutell.com/newfaq/creating/forcedownload.html

Playing Mp4, WMV, and other formats in Ubuntu

Go to this page and follow these steps to play and record most common multimedia formats, including MP3, DVD, Flash, Quicktime, WMA and WMV, including both standalone files and content embedded in web pages.

https://help.ubuntu.com/community/RestrictedFormats

Ubuntu does not supplies these by default, because they are proprietary formats, rather than Open Source. https://help.ubuntu.com/community/FreeFormats