chore: update dependency diagram-js to v13

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
diagram-js	^12.3.0 -> ^13.0.0

---

Release Notes

bpmn-io/diagram-js (diagram-js)

v13.0.0

Compare Source

• DEPS: update to didi@10.0.1

v12.8.1

Compare Source

• FIX: reposition popup menu if it opens above the viewport (#​829)

v12.8.0

Compare Source

• FEAT: remove selection outline from connections (#​826)
• FEAT: position context pad according to last waypoint for connections (#​826)

v12.7.3

Compare Source

• FIX: correct error when computing outline (#​822)

v12.7.2

Compare Source

• FIX: revert djs-dragging CSS class changes (#​821)
• FIX: clear context pad hover timeout on close (#​823)

v12.7.1

Compare Source

• FIX: revert selection outline removal for connections (#​820)

---

Configuration

📅 Schedule: Branch creation - "after 10pm,before 5:00am" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR has been generated by Mend Renovate. View repository job log here.