servo/servo — pull request #4355 by Ms2ger (2014-12-12 21:39:33+00:00)
Title: Return real page titles and URLs for devtools tab choices.

Fixes #4167.