wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update french localization

Browse source
This commit is contained in:
Bertrand Grondin 2008-02-14 14:20:47 +00:00
parent ec58a456b3
commit 6b63d871fe
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets.i18n.php
View file

@ -264,7 +264,7 @@ Tämä lista antaa helpon pääsyn järjestelmäviesteihin, jotka sisältävät
* @author Grondin
*/
$messages['fr'] = array(
'gadgets-desc' => 'Laisse aux utilisateurs les gadgets Javascripts personnalisés dans leurs [Special:Preferences|preferences]]',
'gadgets-desc' => 'Laisse aux utilisateurs [[Special:Gadgets|les gadgets CSS et Javascripts]] personnalisés dans leurs [Special:Preferences|preferences]]',
'gadgets-prefs' => 'Gadgets',
'gadgets-prefstext' => "Ci-dessous apparaît une liste de gadgets que vous pouvez activer pour votre compte. Ils font appel à [[JavaScript]], il doit donc être activé pour votre navigateur Web.
Ils n'ont aucune incidence sur cette page de préférences. De plus, ils sont généralement développés et maintenus sur ce wiki. Les administrateurs peuvent modifier les gadgets en passant par [[MediaWiki:Gadgets-definition]] et [[Special:Gadgets]].",