mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 11:31:40 +00:00
25 lines
1.2 KiB
PHP
25 lines
1.2 KiB
PHP
<?php
|
|
|
|
/**
|
|
* Internationalisation file for the Gadgets extension
|
|
*
|
|
* @package MediaWiki
|
|
* @subpackage Extensions
|
|
* @author Daniel Kinzler, brightbyte.de
|
|
* @copyright © 2007 Daniel Kinzler, Siebrand Mazeland
|
|
* @licence GNU General Public Licence 2.0 or later
|
|
*/
|
|
|
|
$messages = array(
|
|
'gadgets-prefstext' => 'Hieronder staan de speciale gadgets die u voor uw gebruiker kunt inschakelen.
|
|
De gadgets zijn voornamelijk gebaseerd op JavaScript, dus JavaScript moet voor uw browser zijn ingeschakeld om ze te laten werken.
|
|
De gadgets hebben geen invloed op deze pagina met voorkeuren.
|
|
|
|
Deze speciale gadgets zijn ook geen onderdeel van de MediaWiki-software, en ze worden meestal ontwikkeld en onderhouden
|
|
door gebruikers van uw lokale wiki. Lokale beheerders kunnen de beschikbare gadgets aangeven in [[MediaWiki:Gadgets-definition]]
|
|
en [[Special:Gadgets]].',
|
|
'gadgets-pagetext' => 'Hieronder staan de speciale gadgets die gebruikers kunnen inschakelen via hun voorkeuren, zoals ingesteld in [[MediaWiki:Gadgets-definition]].
|
|
Dit overzicht biedt eenvoudige toegang tot de systeemtekstpagina waar de beschrijving en de code van ieder gadget staat.',
|
|
'gadgets-uses' => 'Gebruikt',
|
|
);
|