e.g. media controls JavaScript injected by WebKit should not appear in the Extension Scripts folder, and should really be in Extra Scripts
Created attachment 387142 [details] Patch
Created attachment 387143 [details] Patch Rebase
Comment on attachment 387143 [details] Patch r=me
Comment on attachment 387143 [details] Patch Clearing flags on attachment: 387143 Committed r254245: <https://trac.webkit.org/changeset/254245>
All reviewed patches have been landed. Closing bug.
<rdar://problem/58429523>