From 41d9b52005fe156e9a3a71bc037a54452d3700e4 Mon Sep 17 00:00:00 2001 From: Andy Miller Date: Mon, 22 Sep 2014 15:57:46 -0600 Subject: [PATCH 1/2] added ability to set default file extension --- system/src/Grav/Common/Uri.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/system/src/Grav/Common/Uri.php b/system/src/Grav/Common/Uri.php index ec1c9d88b..5b7141b9d 100644 --- a/system/src/Grav/Common/Uri.php +++ b/system/src/Grav/Common/Uri.php @@ -215,7 +215,10 @@ class Uri * * @return String The extension of the URI */ - public function extension() { + public function extension($default = null) { + if (!$this->extension) { + $this->extension = $default; + } return $this->extension; } From 7261cea92f8f73a8bfe8a5a6a8fb245688995929 Mon Sep 17 00:00:00 2001 From: Andy Miller Date: Mon, 22 Sep 2014 15:58:12 -0600 Subject: [PATCH 2/2] add filesize for medium --- system/src/Grav/Common/Page/Media.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/system/src/Grav/Common/Page/Media.php b/system/src/Grav/Common/Page/Media.php index 801055a51..4461f7e83 100644 --- a/system/src/Grav/Common/Page/Media.php +++ b/system/src/Grav/Common/Page/Media.php @@ -56,6 +56,9 @@ class Media extends Getters continue; } + //set file size + $medium->set('size',$info->getSize()); + // Assign meta files to the medium. if ($meta) { $medium->addMetaFile($meta);