add timestamp to NotificationOptions

This commit is contained in:
Reto Brunner 2024-04-13 21:51:14 +02:00
parent 42ea66c343
commit 300bd4c84c

View file

@ -96,6 +96,14 @@ socket.on("msg", function (data) {
}
});
declare global {
// this extends the interface from lib.dom with additional stuff which is not
// exactly standard but implemented in some browsers
interface NotificationOptions {
timestamp?: number; // chrome has it, other browsers ignore it
}
}
function notifyMessage(
targetId: number,
channel: ClientChan,