Backed out changeset 7cd22106e8d9. Simplify code for exposing plugin file names vs. full path.
authorCédric Corazza
Wed, 20 May 2009 13:23:33 +0200
changeset 588 bf57ef1c94b77dd93e7988b96abe46f1ea402981
parent 587 4df877b852db25573293b2b57fbde72110475e15
child 589 acb065e8d73da2ccb45ac1012517ab03a0ab0a91
push id571
push usercedric.corazza@wanadoo.fr
push dateWed, 20 May 2009 11:18:38 +0000
Backed out changeset 7cd22106e8d9. Simplify code for exposing plugin file names vs. full path.
dom/chrome/plugins.properties
--- a/dom/chrome/plugins.properties
+++ b/dom/chrome/plugins.properties
@@ -2,16 +2,16 @@
 #    Those strings are inserted into an HTML page, so you all HTML characters
 #    have to be escaped in a way that they show up correctly in HTML!
 
 title_label = À propos des plugins
 installedplugins_label = Plugins installés
 nopluginsareinstalled_label = Pas de plugin installé
 findmore_label = Vous trouverez plus d'informations sur les plugins de votre navigateur sur 
 installhelp_label = De l'aide pour l'installation des plugins est disponible sur
-file_label=Fichier :
+filename_label=Nom du fichier :
 version_label=Version :
 mimetype_label = Type MIME
 description_label = Description
 suffixes_label = Suffixes
 enabled_label = Autorisé
 yes_label = Oui
 no_label = Non