[webkit-changes] [WebKit/WebKit] 8577d0: rdar://109898686 (`WebCore/dom/make_names.pl` prod...

Fri May 26 13:40:18 PDT 2023

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 8577d073a2cbeacd40415085a422999de4fb9936
      https://github.com/WebKit/WebKit/commit/8577d073a2cbeacd40415085a422999de4fb9936
  Author: Alexey Proskuryakov <ap at apple.com>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M Source/WebCore/dom/make_names.pl

  Log Message:
  -----------
  rdar://109898686 (`WebCore/dom/make_names.pl` produces non-deterministic output for `--enum NodeName`)

Reviewed by Ryosuke Niwa.

Patch by Argyrios Kyrtzidis.

* Source/WebCore/dom/make_names.pl:
(byAttrNameOrder):

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