From 667bc1657a5e45f73576fffe32cf690d4f4882bf Mon Sep 17 00:00:00 2001 From: Sandeep Somavarapu Date: Tue, 4 Jul 2023 17:21:52 +0200 Subject: [PATCH] cleanup (#186985) --- .../contrib/extensions/browser/extensionEditor.ts | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/src/vs/workbench/contrib/extensions/browser/extensionEditor.ts b/src/vs/workbench/contrib/extensions/browser/extensionEditor.ts index 5408889b97b..366c4d28382 100644 --- a/src/vs/workbench/contrib/extensions/browser/extensionEditor.ts +++ b/src/vs/workbench/contrib/extensions/browser/extensionEditor.ts @@ -944,26 +944,24 @@ export class ExtensionEditor extends EditorPane { const moreInfoContainer = append(container, $('.more-info-container.additional-details-element')); append(moreInfoContainer, $('.additional-details-title', undefined, localize('Marketplace Info', "More Info"))); const moreInfo = append(moreInfoContainer, $('.more-info')); + const toDateString = (date: Date) => `${date.getFullYear()}-${date.getMonth() + 1}-${date.getDate()}, ${date.toLocaleTimeString(language, { hourCycle: 'h23' })}`; if (gallery) { - const pub = new Date(gallery.releaseDate); - const last_rel = new Date(gallery.lastUpdated); append(moreInfo, $('.more-info-entry', undefined, $('div', undefined, localize('published', "Published")), - $('div', undefined, [pub.getFullYear(), pub.getMonth() + 1, pub.getDate()].join('-').concat(', ' + pub.toLocaleTimeString(language, { hourCycle: 'h23' }))) + $('div', undefined, toDateString(new Date(gallery.releaseDate))) ), $('.more-info-entry', undefined, $('div', undefined, localize('last released', "Last released")), - $('div', undefined, [last_rel.getFullYear(), last_rel.getMonth() + 1, last_rel.getDate()].join('-').concat(', ' + last_rel.toLocaleTimeString(language, { hourCycle: 'h23' }))) + $('div', undefined, toDateString(new Date(gallery.lastUpdated))) ) ); } if (extension.local && extension.local.installedTimestamp) { - const last_up = new Date(extension.local.installedTimestamp); append(moreInfo, $('.more-info-entry', undefined, $('div', undefined, localize('last updated', "Last updated")), - $('div', undefined, [last_up.getFullYear(), last_up.getMonth() + 1, last_up.getDate()].join('-').concat(', ' + last_up.toLocaleTimeString(language, { hourCycle: 'h23' }))) + $('div', undefined, toDateString(new Date(extension.local.installedTimestamp))) ) ); }