1<?php 2$lang['lint'] = 'BPMNダイアグラムのデフォルトのbpmnlintモード（<code>lint</code>属性でダイアグラムごとに上書き可能）。'; 3$lang['lint_o_off'] = 'オフ — リンターは読み込まれず、トグルボタンなし'; 4$lang['lint_o_inactive'] = '非アクティブ — トグルボタンあり、オーバーレイ非表示'; 5$lang['lint_o_on'] = 'オン — オーバーレイが即座に表示'; 6