Provide as file filename encoding

It looks like as soon as you want to use non-ASCII characters in your suggested filename things get a bit crazy. Perhaps our code should implement the approach suggested in this article:

http://stackoverflow.com/questions/93551/how-to-encode-the-filename-para...

Namely:

  $filename = $_GET['file']; //this string is already decoded
if (strstr($_SERVER['HTTP_USER_AGENT'],"MSIE"))
   $filename = rawurlencode($filename);
header('Content-Disposition: attachment; filename="'.$filename.'"');