[webkit-changes] [WebKit/WebKit] 8f11ad: REGRESSION(258347 at main): Fix webkit.h public heade...

Tue Jan 17 05:46:55 PST 2023

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8f11ad0813c37f4bd8ee43ecac733892a57e2a03
      https://github.com/WebKit/WebKit/commit/8f11ad0813c37f4bd8ee43ecac733892a57e2a03
  Author: Thomas Devoogdt <thomas.devoogdt at barco.com>
  Date:   2023-01-17 (Tue, 17 Jan 2023)

  Changed paths:
    M Source/WebKit/UIProcess/API/gtk/WebKitVersion.h.in

  Log Message:
  -----------
  REGRESSION(258347 at main): Fix webkit.h public header part 2

https://bugs.webkit.org/show_bug.cgi?id=250701

Reviewed by Carlos Garcia Campos.

In commit 9fe47e98a7f3b542413f3793912b291599f05860, I've replaced all
instances of __WEBKIT2_H_INSIDE__ with __WEBKIT_H_INSIDE__ but overlooked
this one. So fix that.

Signed-off-by: Thomas Devoogdt <thomas.devoogdt at barco.com>

Canonical link: https://commits.webkit.org/258976@main