mozilla/servo — pull request #839 by evilpie (2013-08-31 20:14:04+00:00)
Title: Implement Navigator

Fixes #832. I wasn't sure what UserAgent we want so I posed to dev-servo. In general I think we should try to expose the least amount of legacy properties possible, webkit usually implements fewer of those.