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

// Text
$_['text_success']  = 'Erfolg: Sie haben extensions! geändert';
$_['text_list']     = 'Erweiterungsliste';
$_['text_type']     = 'Wählen Sie den Erweiterungstyp';
$_['text_filter']   = 'Filter';