1);; }} ; $a->strings["WindowsPhonePush settings updated."] = "Paramètres WindowsPhonePush mis à jour"; $a->strings["WindowsPhonePush Settings"] = "Paramètres WindowsPhonePush"; $a->strings["Enable WindowsPhonePush Addon"] = "Activer l'extension WindowsPhonePush"; $a->strings["Push text of new item"] = "Pousse le texte du nouvel élément"; $a->strings["Save Settings"] = "Sauvegarde des paramètres";