From f37c5c0615ebb79135dea9107921883ba5fb3f03 Mon Sep 17 00:00:00 2001
From: Jenga Phoenix <jadedctrl@teknik.io>
Date: Sat, 26 Jan 2019 23:58:19 -0600
Subject: [PATCH] Fix file-extension naming

---
 resources/library/file.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/library/file.php b/resources/library/file.php
index 7bd2952..868139f 100644
--- a/resources/library/file.php
+++ b/resources/library/file.php
@@ -51,7 +51,7 @@ function write_metadata($filepath, $source)
 //	Return the file-extension of a filename.
 function file_extension($file_name)
 {
-	return pathinfo($file_name, PATHINFO_EXTENSION);
+	return strtolower(pathinfo($file_name, PATHINFO_EXTENSION));
 }