let versionField = document.getElementById("version"); let version = Services.appinfo.version; let buildID = Services.appinfo.appBuildID; let year = buildID.slice(0, 4); let month = buildID.slice(4, 6); let day = buildID.slice(6, 8); let hour = buildID.slice(8, 10); let minute = buildID.slice(10, 12); if (Services.prefs.getBoolPref("general.useragent.appVersionIsBuildID")) { versionField.textContent = `${year}.${month}.${day}`; } else { versionField.textContent = `v` + version + ` (${year}-${month}-${day})`; } |