lint).'; $lang['lint_o_off'] = 'desactivado — linter no cargado, sin botón para alternar'; $lang['lint_o_inactive'] = 'inactivo — botón para alternar disponible, superposiciones ocultas'; $lang['lint_o_on'] = 'activado — superposiciones visibles inmediatamente';