lint).'; $lang['lint_o_off'] = 'disattivato — linter non caricato, nessun pulsante di attivazione/disattivazione'; $lang['lint_o_inactive'] = 'inattivo — pulsante di attivazione/disattivazione presente, sovrapposizioni nascoste'; $lang['lint_o_on'] = 'attivato — sovrapposizioni visibili immediatamente';