mozilla/servo — pull request #1781 by hgentry (2014-02-27 20:58:31+00:00)
Title: Renamed HTMLIframeElementTypeId to HTMLIFrameElementTypeId

Simple change. I hope I'm using github correctly; I'm not too familiar with the PR system. Fixes #1777.