style: abbreviate episode date on TV media detail

close #1380

lib/screens/media_detail_screen.dart

@@ -3687,7 +3687,7 @@ class _MediaDetailScreenState extends State<MediaDetailScreen>
     if (lineMetadata.contentRating != null) addTextPart(formatContentRating(lineMetadata.contentRating!));
     if (lineMetadata.durationMs != null) addTextPart(formatDurationTextual(lineMetadata.durationMs!));
     if (lineMetadata.isEpisode && lineMetadata.originallyAvailableAt != null) {
-      addTextPart(formatFullDate(lineMetadata.originallyAvailableAt!));
+      addTextPart(formatAbbreviatedDate(lineMetadata.originallyAvailableAt!));
     } else if (lineMetadata.year != null) {
       addTextPart(lineMetadata.year.toString());
     }

lib/utils/formatters.dart

@@ -204,3 +204,18 @@ String formatFullDate(String dateString) {
     return dateString;
   }
 }
+
+/// Like [formatFullDate] but uses an abbreviated month name (`DateFormat.yMMMd`)
+/// to keep the result compact for space-constrained, single-line layouts.
+/// If there is any error, `dateString` is returned as is
+String formatAbbreviatedDate(String dateString) {
+  try {
+    final date = DateTime.parse(dateString);
+
+    final formatter = DateFormat.yMMMd(LocaleSettings.currentLocale.languageCode);
+
+    return formatter.format(date);
+  } catch (e) {
+    return dateString;
+  }
+}