1<?php 2$lang['lint'] = 'Modalità bpmnlint predefinita per i diagrammi BPMN (sovrascrivibile per diagramma tramite l\'attributo <code>lint</code>).'; 3$lang['lint_o_off'] = 'disattivato — linter non caricato, nessun pulsante di attivazione/disattivazione'; 4$lang['lint_o_inactive'] = 'inattivo — pulsante di attivazione/disattivazione presente, sovrapposizioni nascoste'; 5$lang['lint_o_on'] = 'attivato — sovrapposizioni visibili immediatamente'; 6