Rename XMLHttpRequest to HttpRequest.

lib/dom/scripts/htmlrenamer.py

Index: lib/dom/scripts/htmlrenamer.py
===================================================================
--- lib/dom/scripts/htmlrenamer.py	(revision 10850)
+++ lib/dom/scripts/htmlrenamer.py	(working copy)
@@ -278,6 +278,8 @@
         return stripped_name
     elif interface.id == 'DOMWindow':
       return 'Window'
+    elif interface.id.startswith('XML') and interface.id != 'XMLSerializer':

[sra1, 2012/08/16 19:10:33]

I'd much prefer an explicit test.
We are really changing 'XMLHttp' -> 'Http', not dropping 'XML'.  If some new
class comes along that begins with XML it could be renamed by accident.

I think we should replace _html_strip_webkit_prefix_classes at this time with

_html_interface_renames = {
  'DOMWindow': 'Window',
  'WebKitAnimation': 'Animation',
  ...
  'XMLHttpRequest': 'HttpRequest',
}

[Emily Fortuna, 2012/08/16 20:11:24]

Done.

+      return interface.id[len('XML'):]
     return interface.id
 
   def RenameMember(self, interface_name, member, member_prefix=''):