[webkit-reviews] review requested: [Bug 5889] HTMLNames.* should be generated using make_names.pl : [Attachment 8366] Better patch

[bugzilla-request-daemon at opendarwin.org]

Rob Buis <rwlbuis at xs4all.nl> has asked	for review:
Bug 5889: HTMLNames.* should be generated using make_names.pl
http://bugzilla.opendarwin.org/show_bug.cgi?id=5889

Attachment 8366: Better patch
http://bugzilla.opendarwin.org/attachment.cgi?id=8366&action=edit

------- Additional Comments from Rob Buis <rwlbuis at xs4all.nl>
I did the rename plus the diff between old and new HTMLNames.*
Cheers,

Rob.