Removing a full-screen element or ancestor from the DOM should trigger exiting full-screen mode.
Created attachment 93833 [details] Patch
<rdar://problem/9449012>
Committed r86737: <http://trac.webkit.org/changeset/86737>