From d8a80479c23171edef0a7b136f4863b96e99d470 Mon Sep 17 00:00:00 2001 From: Andy Miller Date: Mon, 20 Jul 2015 16:13:35 -0600 Subject: [PATCH] more explicit check for page extension --- system/src/Grav/Common/Grav.php | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/system/src/Grav/Common/Grav.php b/system/src/Grav/Common/Grav.php index fc74c370f..c145192e4 100644 --- a/system/src/Grav/Common/Grav.php +++ b/system/src/Grav/Common/Grav.php @@ -441,7 +441,17 @@ class Grav extends Container } // unsupported media type, try to download it... - $extension = $uri->extension() ?: isset($path_parts['extension']) ? $path_parts['extension'] : null; + $uri_extension = $uri->extension(); + if ($uri_extension) { + $extension = $uri_extension; + } else { + if (isset($path_parts['extension'])) { + $extension = $path_parts['extension']; + } else { + $extension = null; + } + } + if ($extension) { $download = true; if (in_array(ltrim($extension, '.'), $this['config']->get('system.media.unsupported_inline_types'))) {