1<?php
2
3$lang['hide_start_pages'] = 'Zeige die Startseite(n) des Wikis nicht an.';
4$lang['show_only_public'] = 'Zeige nur öffentliche Seiten an';
5