[webkit-dev] Followup on removing webkitNotifications.createHTMLNotification

[Adam Barth]

As discussed in February 2012 [1], we have been deprecating the
webkitNotifications.createHTMLNotification API for almost a year.
According to FeatureObserver, the API is used in only 0.0008% of web
page views, indicating that we have been successful in depreciating
it.  I've posted a patch to remove it:

https://bugs.webkit.org/show_bug.cgi?id=107598

Thanks,
Adam

[1] http://lists.webkit.org/pipermail/webkit-dev/2012-February/019354.html