From b1d1a02c6cec17adebe535fcba8f5f09d793b6b0 Mon Sep 17 00:00:00 2001 From: Moonchild Date: Fri, 4 Dec 2020 18:11:46 +0000 Subject: [PATCH] [Basilisk] Issue #31 - Part 1: Use nsIScriptableDateFormat in Page Info. --- .../basilisk/base/content/pageinfo/pageInfo.js | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/application/basilisk/base/content/pageinfo/pageInfo.js b/application/basilisk/base/content/pageinfo/pageInfo.js index 7a6d0a0630..98e567cb44 100644 --- a/application/basilisk/base/content/pageinfo/pageInfo.js +++ b/application/basilisk/base/content/pageinfo/pageInfo.js @@ -1051,16 +1051,18 @@ function formatNumber(number) function formatDate(datestr, unknown) { + // scriptable date formatter, for pretty printing dates + var dateService = Components.classes["@mozilla.org/intl/scriptabledateformat;1"] + .getService(Components.interfaces.nsIScriptableDateFormat); + var date = new Date(datestr); if (!date.valueOf()) return unknown; - const locale = Components.classes["@mozilla.org/chrome/chrome-registry;1"] - .getService(Components.interfaces.nsIXULChromeRegistry) - .getSelectedLocale("global", true); - const dtOptions = { year: 'numeric', month: 'long', day: 'numeric', - hour: 'numeric', minute: 'numeric', second: 'numeric' }; - return date.toLocaleString(locale, dtOptions); + return dateService.FormatDateTime("", dateService.dateFormatLong, + dateService.timeFormatSeconds, + date.getFullYear(), date.getMonth()+1, date.getDate(), + date.getHours(), date.getMinutes(), date.getSeconds()); } function doCopy()