wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-09-24 02:48:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add internationalization extension description message in [[Special:Version]]

Browse source
This commit is contained in:
Bertrand Grondin 2008-02-03 17:57:14 +00:00
parent cd3efc13b9
commit 6bddbad132
3 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CategoryTree.i18n.fr.php
View file

@ -32,6 +32,7 @@
$messages = array(
'categorytree' => 'Arborescence des catégories',
'categorytree-desc' => 'Gadget basé sur AJAX pour afficher la structure de la catégorie d’un wiki',
'categorytree-tab' => 'Arbre',
'categorytree-header' => 'Entrez un nom de catégorie pour voir son contenu en structure arborescente. Ceci utilise des fonctionnalités JavaScript avancées connues sous le nom d’AJAX. Si vous avez un très vieux navigateur Web ou si vous n’avez pas activé la fonctionnalité JavaScript, cela ne fonctionnera pas.',
'categorytree-category' => 'Catégorie',

1
CategoryTree.i18n.php
View file

@ -11,6 +11,7 @@
$messages['categorytree']= 'CategoryTree';
$messages['categorytree-tab']= 'Tree';
$messages['categorytree-desc'] = 'AJAX based gadget to display the category structure of a wiki';
$messages['categorytree-header']=
'Enter a category name to see its contents as a tree structure.
Note that this requires advanced JavaScript functionality known as AJAX.

1
CategoryTree.php
View file

@ -62,6 +62,7 @@ $wgExtensionCredits['specialpage'][] = array(
'author' => 'Daniel Kinzler',
'url' => 'http://www.mediawiki.org/wiki/Extension:CategoryTree',
'description' => 'AJAX based gadget to display the category structure of a wiki',
'descriptionmsg' => 'categorytree-desc',
);
$wgExtensionCredits['parserhook'][] = array(
'name' => 'CategoryTree',