...and Android currently doesn't use the inspector.
Created attachment 62059 [details] Proposed fix
Hm. Can we hide InspectorDOMAgent instead?
At first glance,it looks like that will be a more complex change, however it may well be philosophically tidier. I'll investigate a bit more...
Created attachment 62072 [details] Removing whole InspectorDOMAgent That looks like a good idea, removing the whole InspectorDOMAgent
That patch was missing a file. Hang on...
Created attachment 62080 [details] And again with all the files
Comment on attachment 62080 [details] And again with all the files Clearing flags on attachment: 62080 Committed r63753: <http://trac.webkit.org/changeset/63753>
All reviewed patches have been landed. Closing bug.