Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-08-30 10:38:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

cleanup (#186985)

Browse Source
This commit is contained in:
Sandeep Somavarapu
2023-07-04 17:21:52 +02:00
committed by GitHub
parent a2d301ddd6
commit 667bc1657a
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vs/workbench/contrib/extensions/browser/extensionEditor.ts
+4 -6
View File
@@ -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)))
)
);
}