mozilla/servo — pull request #1160 by saneyuki (2013-10-31 13:55:56+00:00)
Title: HTMLDirectoryElement should be 'dir'. Fix #1159

@Ms2ger?