<?php
// Heading
$_['heading_title'] = 'Extensões';

// Text
$_['text_success']  = 'Sucesso: a extensão foi modificada!';
$_['text_list']     = 'Lista de Extensões';
$_['text_type']     = 'Escolha o tipo de extensão';
$_['text_filter']   = 'Filtro';