<?php

$lang['hide_start_pages'] = 'Zeige die Startseite(n) des Wikis nicht an.';
$lang['show_only_public'] = 'Zeige nur öffentliche Seiten an';