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

Localisation updates for extension messages from Betawiki (2008-03-19 09:59 CET)

Browse source
This commit is contained in:
Siebrand Mazeland 2008-03-19 09:07:23 +00:00
parent 1b11074c93
commit 662f74138e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Gadgets.i18n.php
View file

@ -620,8 +620,8 @@ De uitbreidingen zijn voornamelijk gebaseerd op JavaScript, dus JavaScript moet
De uitbreidingen hebben geen invloed op deze pagina met voorkeuren.
Deze speciale uitbreidingen zijn ook geen onderdeel van de MediaWiki-software, en ze worden meestal ontwikkeld en onderhouden
door gebruikers van uw wiki. Beheerders kunnen de beschikbare uitbreidingen aangeven in [[MediaWiki:Gadgets-definition]]
en [[Special:Gadgets]].',
door gebruikers van uw wiki.
Beheerders kunnen de beschikbare uitbreidingen aangeven in [[MediaWiki:Gadgets-definition]] en [[Special:Gadgets]].',
'gadgets' => 'Uitbreidingen',
'gadgets-title' => 'Uitbreidingen',
'gadgets-pagetext' => 'Hieronder staan de speciale uitbreidingen die gebruikers kunnen inschakelen via hun voorkeuren, zoals ingesteld in [[MediaWiki:Gadgets-definition]].