tool · inferred from evidence

push-worker.js

A cleanup JavaScript file for handling stale push subscriptions when a service worker is moved.