Bump ace-builds from 1.7.1 to 1.13.0

[dependabot[bot]]

Bumps ace-builds from 1.7.1 to 1.13.0.

Changelog

Sourced from ace-builds's changelog.

1.13.0 (2022-11-11)

Features

• add highlight mode for Apache JEXL (#4979) (4e8926e)

Bug Fixes

• Add missing options to VirtualRendererOptions and EditorOptions (#4983) (19dd2ec)
• Fix of scroll while interrupting animation (#4993) (0092f3f)
• rare case when document passed to dom.scrollbarWidth doesn't have documentElement (#4981) (df44158)

1.12.5 (2022-11-01)

Bug Fixes

• enableLiveAutocompletion documentation (#4976) (987ab76)
• vim "normal" mode brackets highlighting (0fbc54c)

1.12.4 (2022-10-31)

Bug Fixes

• Open valid url under cursor (#4970) (bf2913a)
• Update for Csound 6.18.0 (#4974) (6886b02)
• update/add missing demo samples (#4975) (2b8236e)

1.12.3 (2022-10-18)

Bug Fixes

• Fix syntax error in the custom scroll CSS (#4968) (f2a424a)

1.12.2 (2022-10-18)

Bug Fixes

• custom scrollbar breaks csp mode (#4967) (be8eb12)
• find all in range bug (13bd553)
• Namespace-relative names for php (#4963) (96e4066)

1.12.1 (2022-10-17)

... (truncated)

Commits

• 5795b1b package 11.11.22
• 051fceb package 01.11.22
• 7896f6f package 31.10.22
• 5f60801 package 18.10.22
• 42819be package 18.10.22
• 3367cc6 package 17.10.22
• a802f36 package 15.10.22
• 6526ea4 package 26.09.22
• a1f6ab9 package 23.09.22
• 6820a88 package 20.09.22
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[gitpod-io[bot]]

[dependabot[bot]]

Superseded by #1033.