зеркало из https://github.com/mozilla/gecko-dev.git
Bug 866081 - Change two labels and their names in plugins.properties, replacing "enabled" with "installed". r=bsmedberg
This commit is contained in:
Родитель
fbf8d3a808
Коммит
371b1cc4ef
|
@ -7,8 +7,8 @@
|
|||
# have to be escaped in a way that they show up correctly in HTML!
|
||||
|
||||
title_label=About Plugins
|
||||
enabledplugins_label=Enabled plugins
|
||||
nopluginsareenabled_label=No enabled plugins found
|
||||
installedplugins_label=Installed plugins
|
||||
nopluginsareinstalled_label=No installed plugins found
|
||||
findpluginupdates_label=Find updates for installed plugins at
|
||||
file_label=File:
|
||||
path_label=Path:
|
||||
|
|
|
@ -61,14 +61,14 @@
|
|||
AddonManager.getAddonsByTypes(["plugin"], function (aPlugins) {
|
||||
var fragment = document.createDocumentFragment();
|
||||
|
||||
// "Enabled plugins"
|
||||
// "Installed plugins"
|
||||
var id, label;
|
||||
if (aPlugins.length > 0) {
|
||||
id = "plugs";
|
||||
label = "enabledplugins_label";
|
||||
label = "installedplugins_label";
|
||||
} else {
|
||||
id = "noplugs";
|
||||
label = "nopluginsareenabled_label";
|
||||
label = "nopluginsareinstalled_label";
|
||||
}
|
||||
var enabledplugins = document.createElement("h1");
|
||||
enabledplugins.setAttribute("id", id);
|
||||
|
|
Загрузка…
Ссылка в новой задаче