1149271 - figure out what the subscriptionid is.

Status: RESOLVED FIXED

(Core :: DOM: Push Subscriptions, defect)

Comment 1

[Merih Akar]

subscriptionid is removed from PushSubscription interface in current draft to be merged with endpoint property.

Comment 2

[Doug Turner (:dougt)]

Attachment: 0001-Bug-1149271-Remove-subscriptionId.-r-jdm.patch

Comment 3

[Josh Matthews [:jdm]]

I'm not a DOM peer, and this has WebIDL changes.

Comment 4

[Andrea Marchesini [:baku]]

Comment on attachment 8597690 [details] [diff] [review]
0001-Bug-1149271-Remove-subscriptionId.-r-jdm.patch

Review of attachment 8597690 [details] [diff] [review]:
-----------------------------------------------------------------

Don't we have any test to update?

Comment 5

[Doug Turner (:dougt)]

> Don't we have any test to update?

No.  we were hoping to remove this from the spec and didn't write tests for it.

Comment 6

[Pulsebot]

https://hg.mozilla.org/integration/mozilla-inbound/rev/a3d3da50bc0f

Comment 7

[Wes Kocher (:KWierso) (Not reading bugmail; email directly if needed)]

https://hg.mozilla.org/mozilla-central/rev/a3d3da50bc0f

Comment 8

[Eric Shepherd [:sheppy]]

Putting together a PR to update BCD to note this was apparently removed before it shipped.