From 6c130d21b2ad165a4200d3574b55b9db7e53adea Mon Sep 17 00:00:00 2001
From: Charles Severance <csev@umich.edu>
Date: Tue, 21 Nov 2023 23:48:46 -0500
Subject: [PATCH] Add getExtension() method.

---
 src/Config/ConfigInfo.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Config/ConfigInfo.php b/src/Config/ConfigInfo.php
index 79cb0c57..b162e00c 100644
--- a/src/Config/ConfigInfo.php
+++ b/src/Config/ConfigInfo.php
@@ -788,6 +788,10 @@ public function __construct($dirroot, $wwwroot, $dataroot=false) {
         $this->lumen_storage = sprintf("%s/storage/", $dirroot);
     }
 
+    function getExtension($key, $default=null) {
+	    return $this->extensions[$key] ?? $default;
+    }
+
     function getCurrentFile($file) {
         $root = $this->dirroot;
         $path = realpath($file);