DevTools needs this.

Bug: v8:12917
Change-Id: Id63f290ebc9eff4ab87e88b97d81ae4d5ac3283a
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3747676Reviewed-by: Manos Koukoutos <manoskouk@chromium.org>
Commit-Queue: Jakob Kummerow <jkummerow@chromium.org>
Cr-Commit-Position: refs/heads/main@{#81584}