Merge pull request #4438 from danchr/ticket/12133

[ticket/12133] fix download file names for WebKit-derived browsers
This commit is contained in:
Marc Alexander 2016-09-09 23:39:20 +02:00
commit dccb5564d2

View file

@ -284,7 +284,7 @@ function header_filename($file)
// There be dragons here.
// Not many follows the RFC...
if (strpos($user_agent, 'MSIE') !== false || strpos($user_agent, 'Safari') !== false || strpos($user_agent, 'Konqueror') !== false)
if (strpos($user_agent, 'MSIE') !== false || strpos($user_agent, 'Konqueror') !== false)
{
return "filename=" . rawurlencode($file);
}