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

// Text
$_['text_success']  = 'Successo: hai modificato le estensioni!';
$_['text_list']     = 'Elenco di estensioni';
$_['text_type']     = 'Scegli il tipo di estensione';
$_['text_filter']   = 'Filtro';