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

// Text
$_['text_success']  = 'Vous avez modifié vos extensions aves succes !';
$_['text_list']     = 'Liste des Extensions';
$_['text_type']     = 'Choisir un type d’extension';
$_['text_filter']   = 'Filtre';
