Add WebKitAdditions extension point to add user-agent stylesheet. This is will be used towards <rdar://problem/34917108>.
Created attachment 326937 [details] Patch
Comment on attachment 326937 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=326937&action=review > Source/WebCore/DerivedSources.make:1218 > +USER_AGENT_STYLE_SHEETS = css/html.css css/quirks.css css/plugIns.css > +USER_AGENT_STYLE_SHEETS += css/svg.css Why does svg.css have to be appended separately?
Comment on attachment 326937 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=326937&action=review >> Source/WebCore/DerivedSources.make:1218 >> +USER_AGENT_STYLE_SHEETS += css/svg.css > > Why does svg.css have to be appended separately? It does not need to be. Will fix before landing.
Part of <rdar://problem/34917108>.
<rdar://problem/35711147>
Committed r225224: <https://trac.webkit.org/changeset/225224>