Scaricare video invece di aprirli con WMP

[JoeP]

Come posso fare a far scaricare un video .wmv ai miei utenti evitando di aprirlo con il lettore multimediale.
Come se avessero cliccato con il destro e scelto "Salva oggetto con nome".

Ho provato il codice sotto, ma funziona solo per le immagini e i file ZIP:

<?PHP

  $input_file = $URL_DEL_FILE;
  $download_size = filesize($input_file);
  $filename = basename($input_file);
  if(ereg("MSIE ([0-9].[0-9]{1,2})", $_SERVER["HTTP_USER_AGENT"])) {
    header("Content-Type: application/octetstream");
    header("Content-Disposition: inline; filename=$filename");
    header("Expires: 0");
    header("Cache-Control: must-revalidate, post-check=0, pre-check=0");
    header("Pragma: public");
    header("Content-Length: $download_size");
  } else {
    header("Content-Type: application/octet-stream");
    header("Content-Disposition: attachment; filename=$filename");
    header("Expires: 0");
    header("Pragma: no-cache");
    header("Content-Length: $download_size");
  }
readfile($input_file);

?>

Aiutatemi!