mozilla/servo — pull request #2428 by zwarich (2014-05-14 04:41:06+00:00)
Title: Remove addHTMLElement from Bindings.conf.

We can just use the defaults for all of the HTML elements for now and
deal with the nonstandard behavior later. This fixes #2207.