[webkit-reviews] review denied: [Bug 55168] [GTK] [check-webkit-style] check-webkit-style fails when checking sorting order for webkit.h : [Attachment 83970] patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has denied  review:
Bug 55168: [GTK] [check-webkit-style] check-webkit-style fails when checking
sorting order for webkit.h
https://bugs.webkit.org/show_bug.cgi?id=55168

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

------- Additional Comments from Martin Robinson <mrobinson at webkit.org>
Instead of adding a new header type, I think that it's better to just skip this
file by modifying checker.py.