mozilla/servo — pull request #658 by june0cho (2013-08-01 04:27:00+00:00)
Title: Add a getter for document.head and document.title

Add a getter for document.head and document.title.

Like in the modified test (document.title="changed title"), setters for elements doesn't seem to be called.