1<?php 2$lang['lint'] = 'Default bpmnlint mode for BPMN diagrams (overridable per diagram via the <code>lint</code> attribute).'; 3$lang['lint_o_off'] = 'off — linter not loaded, no toggle button'; 4$lang['lint_o_inactive'] = 'inactive — toggle button present, overlays hidden'; 5$lang['lint_o_on'] = 'on — overlays visible immediately'; 6