Show time based on locale to support 12 hour and 24 hour notation in UI.

Author: gertjanal

core/trino-web-ui/src/main/resources/webapp-preview/src/utils/utils.ts

@@ -319,9 +319,7 @@ export function parseDuration(value: string): number | null {
 }
 
 export function formatShortTime(date: Date): string {
-    const hours = date.getHours() % 12 || 12
-    const minutes = (date.getMinutes() < 10 ? '0' : '') + date.getMinutes()
-    return hours + ':' + minutes + (date.getHours() >= 12 ? 'pm' : 'am')
+    return date.toLocaleTimeString([], { timeStyle: 'short' })
 }
 
 export function formatShortDateTime(date: Date): string {

core/trino-web-ui/src/main/resources/webapp/src/utils.js

@@ -501,9 +501,7 @@ export function parseDuration(value: string): ?number {
 }
 
 export function formatShortTime(date: Date): string {
-    const hours = date.getHours() % 12 || 12
-    const minutes = (date.getMinutes() < 10 ? '0' : '') + date.getMinutes()
-    return hours + ':' + minutes + (date.getHours() >= 12 ? 'pm' : 'am')
+    return date.toLocaleTimeString([], { timeStyle: 'short' }).replace(' ', '').toLowerCase()
 }
 
 export function formatShortDateTime(date: Date): string {