<?php

$lang['text_size']           = 'Textgröße';
$lang['icon_size']           = 'Symbolgröße';
$lang['text_color']          = 'Textfarbe';
$lang['skip_file']           = 'Zu ignorierende Seiten-IDs. Regulären Ausdruck verwenden. Beispiel: /(:start$|^public:newstart$)/';
$lang['show_in_editor_menu'] = 'Visualindex in den Editor-Menüs anzeigen (klassisch und ProseMirror)?';
$lang['default_image']       = 'Standardbild (Medien-ID, z. B. wiki:logo.png). Wenn leer, wird das interne Plugin-Bild verwendet.';
$lang['use_pagesicon']       = 'Seitensymbol des pagesicon-Plugins verwenden, wenn verfügbar?';
