Administration globale : Gestionnaire d'extensions
Rechercher, ajouter, mettre à niveau et supprimer des extensions.
Extensions Rechercher de nouvelles extensions à ajouter au wiki.
Historique Afficher l'historique des extensions installées.
Mise à jour Permet de vérifier si des mises à jour sont disponibles pour les extensions installées.