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