Fix gzip files for Safari

* Safari support gzip only if the filename does not
  end on .gz - so this renames them to .gzip

Signed-off-by: Morris Jobke <hey@morrisjobke.de>

2 files changed, 2 insertions, 2 deletions

diff --git a/core/Controller/CssController.php b/core/Controller/CssController.php
index b467d386f98..57197e9999e 100644
--- a/core/Controller/CssController.php
+++ b/core/Controller/CssController.php
@@ -95,7 +95,7 @@ class CssController extends Controller {
 		if ($encoding !== null && strpos($encoding, 'gzip') !== false) {
 			try {
 				$gzip = true;
-				return $folder->getFile($fileName . '.gz');
+				return $folder->getFile($fileName . '.gzip'); # Safari doesn't like .gz
 			} catch (NotFoundException $e) {
 				// continue
 			}
diff --git a/core/Controller/JsController.php b/core/Controller/JsController.php
index 0b50abc158a..c7c9dea9101 100644
--- a/core/Controller/JsController.php
+++ b/core/Controller/JsController.php
@@ -96,7 +96,7 @@ class JsController extends Controller {
 		if ($encoding !== null && strpos($encoding, 'gzip') !== false) {
 			try {
 				$gzip = true;
-				return $folder->getFile($fileName . '.gz');
+				return $folder->getFile($fileName . '.gzip'); # Safari doesn't like .gz
 			} catch (NotFoundException $e) {
 				// continue
 			}