| Index: tools/dom/scripts/htmlrenamer.py
|
| diff --git a/tools/dom/scripts/htmlrenamer.py b/tools/dom/scripts/htmlrenamer.py
|
| index ab07a813312f3c90d506d986a1d0a8b26607dae2..d7b1b86783eaae72722ed732c90e8d17f79b201a 100644
|
| --- a/tools/dom/scripts/htmlrenamer.py
|
| +++ b/tools/dom/scripts/htmlrenamer.py
|
| @@ -98,7 +98,6 @@ _removed_html_interfaces = [
|
| 'IDBAny',
|
| 'MutationEvent',
|
| 'Notation',
|
| - 'NotificationCenter',
|
| 'PagePopupController',
|
| 'RGBColor',
|
| 'RadioNodeList', # Folded onto NodeList in dart2js.
|
| @@ -163,7 +162,6 @@ convert_to_future_members = monitored.Set(
|
| 'FontLoader.notifyWhenFontsReady',
|
| 'MediaStreamTrack.getSources',
|
| 'Notification.requestPermission',
|
| - 'NotificationCenter.requestPermission',
|
| 'RTCPeerConnection.setLocalDescription',
|
| 'RTCPeerConnection.setRemoteDescription',
|
| 'StorageInfo.requestQuota',
|
|
|