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

// Text
$_['text_success']  = 'Correcto: Ha modificado extensiones.';
$_['text_list']     = 'Listado de extensiones';
$_['text_type']     = 'Escoger tipo de extensi&oacute;n';
$_['text_filter']   = 'Filtro';