lint-Attribut überschreibbar).'; $lang['lint_o_off'] = 'aus — Linter nicht geladen, keine Umschaltfläche'; $lang['lint_o_inactive'] = 'inaktiv — Umschaltfläche vorhanden, Overlays ausgeblendet'; $lang['lint_o_on'] = 'an — Overlays sofort eingeblendet';