Merge pull request 'Fixed: podcasts may have .mp3 extension instead of .MP3' (#1) from release/dev into main

Reviewed-on: #1

api/app/Http/Controllers/PodcastController.php

@@ -196,10 +196,14 @@ QUERY;
         $files = [];
         $size = 0;
         while($duration--) {
-          $file = '/var/audio/uitzending/' . $currentHour->format('Ymd_Hi') . '.MP3';
-          if(!file_exists($file)) {
-            return abort(404);
-          }
+	  $file = '/var/audio/uitzending/' . $currentHour->format('Ymd_Hi');
+	  if(file_exists($file . '.mp3')) {
+	    $file .= '.mp3'; 
+	  } else if(file_exists($file . '.MP3')) {
+	    $file .= '.MP3'; 
+	  } else {
+	    return abort(404);
+	  }
 
           $size += ($filesize = filesize($file));
           $files[] = [$file, $filesize];