mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-30 18:14:21 +00:00
58a1ced43f
* Fixes and additions to 45 extensions for ar, el, fr, frp, grc, hr, hsb, io, ka, nl, pt, stq
22 lines
1.2 KiB
PHP
22 lines
1.2 KiB
PHP
<?php
|
|
|
|
/**
|
|
* Internationalisation file for the Gadgets extension
|
|
*
|
|
* @package MediaWiki
|
|
* @subpackage Extensions
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
* @copyright © 2007 Betawiki editors
|
|
* @licence GNU General Public Licence 2.0 or later
|
|
*/
|
|
|
|
$messages = array(
|
|
'gadgets-prefs' => 'Gadgets',#identical but defined
|
|
'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]].',
|
|
'gadgets' => 'Gadgets',#identical but defined
|
|
'gadgets-title' => 'Gadgets',#identical but defined
|
|
'gadgets-pagetext' => 'Ci-dessous apparaît une liste de gadgets que les utilisateurs peuvent activer dans leur [[Special:Preferences|page de préférences]], tel que défini dans \'\'[[MediaWiki:Gadgets-definition]]\'\'. Ce survol donne un accès rapide aux pages de messages système qui définissent chaque description et chaque code des gadgets.',
|
|
'gadgets-uses' => 'Utilise',
|
|
);
|