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

Localisation updates for extensions from Betawiki (2007-12-26 11:06 CET)

Browse source
This commit is contained in:
Siebrand Mazeland 2007-12-26 10:49:21 +00:00
parent c392945c39
commit 834743f107
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
Gadgets.i18n.pt.php Normal file
View file

@ -0,0 +1,25 @@
<?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
*/
/** Portuguese (Português)
* @author 555
*/
$messages = array(
'gadgets-prefstext' => 'Segue-se uma lista de "gadgets" que podem ser ativados em sua conta.
Tais gadgets normalmente são baseados em JavaScript, o que faz com que seja necessário que o suporte a JavaScript esteja ativado em seu navegador para que os mesmos funcionem.
Note que os gadgets não possuem efeito nesta página (a página de preferências).
Note também que tais gadgets não são parte do software MediaWiki, geralmente sendo desenvolvidos e mantidos por usuários de sua wiki local. Administradores locais podem editar os gadgets disponíveis através da [[MediaWiki:Gadgets-definition]] e [[{{ns:special}}:Gadgets]].',
'gadgets-pagetext' => 'Segue-se uma lista de "gadgets" definidos em [[MediaWiki:Gadgets-definition]], que podem ser ativados por utilizadores através de suas páginas de preferências.
Esta visão geral proporciona um acesso fácil para as mensagens de sistema que definem as descrições e códigos de cada um dos gadgets.',
'gadgets-uses' => 'Utiliza',
);