<?php
// Heading
$_['heading_title']		= 'Extensions';

// Text
$_['text_success']		= 'Félicitations, vous avez modifié les extensions vec succès !';
$_['text_list']			= 'Liste des extensions';
$_['text_type']			= 'Choisir un type d’extension';
$_['text_filter']		= 'Filtre';