[Web API type definition issue] support `devtoolsFormatters`

Open
#2,479 0 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
52/100
Issue type
Feature
Clarity
Mostly clear
Activity status
Quiet
Tech stack
typescript

Research direction

Start by reading the Firefox custom formatters documentation and Chrome documentation linked in the issue, then inspect the DOM library generator's existing definitions for browser APIs on window. Define the missing window.devtoolsFormatters type in the appropriate generated input and verify that the generated TypeScript declarations expose it without breaking existing output.

Written by the indexing model from the issue text.

Description

lib.d.ts bug
Summary

support devtoolsFormatters

Expected vs. Actual Behavior

Expected: Type definitions for window.devtoolsFormatters
Actual: No type defintion exists.

Playground Link

No response

Browser Support
  • This API is supported in at least two major browser engines (not two Chromium-based browsers).
Have Tried The Latest Releases
  • This issue applies to the latest release of TypeScript.
  • This issue applies to the latest release of @types/web.
Additional Context

Firefox documentation: https://firefox-source-docs.mozilla.org/devtools-user/custom_formatters/index.html
Chrome documentation: https://developer.chrome.com/blog/devtools-digest-reordering-tabs-2

Dominant language
TypeScript
Stars
740
Forks
474
Avg merge
2d 8h
Merged PRs (30d)
15

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from microsoft/TypeScript-DOM-lib-generator

All issues in microsoft/TypeScript-DOM-lib-generator

Similar issues

More TypeScript issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.