lint属性でダイアグラムごとに上書き可能）。'; $lang['lint_o_off'] = 'オフ — リンターは読み込まれず、トグルボタンなし'; $lang['lint_o_inactive'] = '非アクティブ — トグルボタンあり、オーバーレイ非表示'; $lang['lint_o_on'] = 'オン — オーバーレイが即座に表示';