1<?php 2$lang['lint'] = 'Standardmodus von bpmnlint für BPMN-Diagramme (pro Diagramm über das <code>lint</code>-Attribut überschreibbar).'; 3$lang['lint_o_off'] = 'aus — Linter nicht geladen, keine Umschaltfläche'; 4$lang['lint_o_inactive'] = 'inaktiv — Umschaltfläche vorhanden, Overlays ausgeblendet'; 5$lang['lint_o_on'] = 'an — Overlays sofort eingeblendet'; 6