[webkit-reviews] review requested: [Bug 78036] merge DashboardSupportCSSPropertyNames.in into CSSPropertyNames.in : [Attachment 125922] Patch

[bugzilla-daemon at webkit.org]

Tony Chang <tony at chromium.org> has asked  for review:
Bug 78036: merge DashboardSupportCSSPropertyNames.in into CSSPropertyNames.in
https://bugs.webkit.org/show_bug.cgi?id=78036

Attachment 125922: Patch
https://bugs.webkit.org/attachment.cgi?id=125922&action=review