1<?php
2
3$lang['hide_start_pages'] = 'Hide the startpage of the wiki and its translation namespaces';
4$lang['show_only_public'] = 'Show only public pages';
5