1<?php
2/**
3 * English language file for config
4 *
5 */
6
7$lang['hideTools']        = 'Hide tools when not logged in?';
8$lang['sidebarIsNav']     = 'Is the sidebar mainly used for navigation?';
9