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