Fix case-insensitive extension stripping to handle old .JPG files

Co-authored-by: cubap <1119165+cubap@users.noreply.github.com>

Author: Copilot

src/java/textdisplay/Folio.java

@@ -614,8 +614,10 @@ public String getImageName() throws SQLException {
          if (rs.next()) {
             toret += rs.getString("imageName");
          }
-         if (toret.contains(".jpg")) {
-            toret = toret.replaceAll("\\.jpg", "");
+         // Strip .jpg/.JPG/.jpeg/.JPEG extension (case-insensitive)
+         // This handles both new lowercase .jpg and old uppercase .JPG files
+         if (toret.toLowerCase().contains(".jpg") || toret.toLowerCase().contains(".jpeg")) {
+            toret = toret.replaceAll("(?i)\\.jpe?g$", "");
          }
          return toret;
       } finally {
@@ -640,8 +642,10 @@ public static String getImageName(String pageName) throws SQLException {
          if (rs.next()) {
             toret += rs.getString("imageName");
          }
-         if (toret.contains(".jpg")) {
-            toret = toret.replaceAll("\\.jpg", "");
+         // Strip .jpg/.JPG/.jpeg/.JPEG extension (case-insensitive)
+         // This handles both new lowercase .jpg and old uppercase .JPG files
+         if (toret.toLowerCase().contains(".jpg") || toret.toLowerCase().contains(".jpeg")) {
+            toret = toret.replaceAll("(?i)\\.jpe?g$", "");
          }
          return toret;
       } finally {