mozilla/servo — pull request #695 by debloper (2013-08-08 13:38:15+00:00)
Title: Remove HTML Element interface to fix LibGFX failing to build

"interface Element;" in HTMLCollection.webidl makes the build to fail while compiling libgfx.dummy.
This patch fixes that; thanks to @jdm for directions.