[ts] Typecheck RenderingOptions.js
[ts] Typecheck RenderingOptions.js

R=8915f5d5c39a08c5a3e8a8d7314756e4580816f9@chromium.org

Bug: 1011811
Change-Id: I76e5025569c16cae87fac5cd803294483ae78160
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2512241
Commit-Queue: Yang Guo <1cf0af8245a3a17a632a2c73531392b0f9761c76@chromium.org>
Reviewed-by: Paul Lewis <8915f5d5c39a08c5a3e8a8d7314756e4580816f9@chromium.org>
Reviewed-by: Yang Guo <1cf0af8245a3a17a632a2c73531392b0f9761c76@chromium.org>

ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend