Remove unused method setAgentIdentifierPrefix from WebDevToolAgent.
Created attachment 101307 [details] Patch
Committed r91456: <http://trac.webkit.org/changeset/91456>