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', |