ruff

[ty] Added support for document highlights in playground.

#19540

Merged