lint attribute).'; $lang['lint_o_off'] = 'off — linter not loaded, no toggle button'; $lang['lint_o_inactive'] = 'inactive — toggle button present, overlays hidden'; $lang['lint_o_on'] = 'on — overlays visible immediately';