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