Skip to content

pushManager is missing from ServiceWorkerRegistration #2406

@jakebailey

Description

@jakebailey

This happened in #2190

Leading to:

Error in serviceworker-webpack-plugin
Error: 
/home/runner/work/DefinitelyTyped/DefinitelyTyped/types/serviceworker-webpack-plugin/serviceworker-webpack-plugin-tests.ts
  49:22  error  TypeScript@6.0 compile error: 
Property 'pushManager' does not exist on type 'ServiceWorkerRegistration'  @definitelytyped/expect
  53:22  error  TypeScript@6.0 compile error: 
Property 'pushManager' does not exist on type 'ServiceWorkerRegistration'  @definitelytyped/expect

✖ 2 problems (2 errors, 0 warnings)

But, it seems like it should be there: https://developer.mozilla.org/en-US/docs/Web/API/ServiceWorkerRegistration/pushManager

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions