lint-attribuut).'; $lang['lint_o_off'] = 'uit — linter niet geladen, geen wisselknop'; $lang['lint_o_inactive'] = 'inactief — wisselknop aanwezig, overlays verborgen'; $lang['lint_o_on'] = 'aan — overlays direct zichtbaar';