Remove a dead function.

Turns out it wasn’t actually used anymore.
auto merge of #1453 : SimonSapin/servo/dead-code, r=larsbergstrom

Turns out it wasn’t actually used anymore.