OLD | NEW |
1 <?xml version="1.0" encoding="UTF-8"?> | 1 <?xml version="1.0" encoding="UTF-8"?> |
2 | 2 |
3 <!DOCTYPE html [ | 3 <!DOCTYPE html [ |
4 <!ENTITY % brandDTD SYSTEM "chrome://branding/locale/brand.dtd" > | 4 <!ENTITY % brandDTD SYSTEM "chrome://branding/locale/brand.dtd" > |
5 %brandDTD; | 5 %brandDTD; |
6 <!ENTITY % globalDTD SYSTEM "chrome://global/locale/global.dtd"> | 6 <!ENTITY % globalDTD SYSTEM "chrome://global/locale/global.dtd"> |
7 %globalDTD; | 7 %globalDTD; |
8 <!ENTITY % fennecDTD SYSTEM "chrome://browser/locale/about.dtd"> | 8 <!ENTITY % fennecDTD SYSTEM "chrome://browser/locale/about.dtd"> |
9 %fennecDTD; | 9 %fennecDTD; |
10 ]> | 10 ]> |
(...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
77 let buildID = Services.appinfo.appBuildID; | 77 let buildID = Services.appinfo.appBuildID; |
78 let buildDate = buildID.slice(0,4) + "-" + buildID.slice(4,6) + "-" + bu
ildID.slice(6,8); | 78 let buildDate = buildID.slice(0,4) + "-" + buildID.slice(4,6) + "-" + bu
ildID.slice(6,8); |
79 let br = document.createElement("br"); | 79 let br = document.createElement("br"); |
80 let versionPara = document.getElementById("version"); | 80 let versionPara = document.getElementById("version"); |
81 versionPara.appendChild(br); | 81 versionPara.appendChild(br); |
82 let date = document.createTextNode("(" + buildDate + ")"); | 82 let date = document.createTextNode("(" + buildDate + ")"); |
83 versionPara.appendChild(date); | 83 versionPara.appendChild(date); |
84 document.getElementById("telemetry").hidden = false; | 84 document.getElementById("telemetry").hidden = false; |
85 } | 85 } |
86 | 86 |
| 87 // Always append the build ID in Adblock Browser. |
| 88 document.getElementById("version").innerHTML = version + "." + |
| 89 Services.appinfo.appBuildID; |
| 90 |
87 // Include the Distribution information if available | 91 // Include the Distribution information if available |
88 try { | 92 try { |
89 let distroId = Services.prefs.getCharPref("distribution.id"); | 93 let distroId = Services.prefs.getCharPref("distribution.id"); |
90 if (distroId) { | 94 if (distroId) { |
91 let distroVersion = Services.prefs.getCharPref("distribution.version")
; | 95 let distroVersion = Services.prefs.getCharPref("distribution.version")
; |
92 let distroIdField = document.getElementById("distributionID"); | 96 let distroIdField = document.getElementById("distributionID"); |
93 distroIdField.textContent = distroId + " - " + distroVersion; | 97 distroIdField.textContent = distroId + " - " + distroVersion; |
94 distroIdField.hidden = false; | 98 distroIdField.hidden = false; |
95 | 99 |
96 let distroAbout = Services.prefs.getComplexValue("distribution.about",
Ci.nsISupportsString); | 100 let distroAbout = Services.prefs.getComplexValue("distribution.about",
Ci.nsISupportsString); |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
182 break; | 186 break; |
183 case "DOWNLOADED": | 187 case "DOWNLOADED": |
184 downloadedSpan.style.display = "block"; | 188 downloadedSpan.style.display = "block"; |
185 break; | 189 break; |
186 } | 190 } |
187 } | 191 } |
188 #endif | 192 #endif |
189 ]]></script> | 193 ]]></script> |
190 </body> | 194 </body> |
191 </html> | 195 </html> |
OLD | NEW |