Created attachment 468409 [details] patch to remove unused scripts A few years ago iExploder was removed (https://bugs.webkit.org/show_bug.cgi?id=225118) from the repository, but at least a couple vestigial scripts remain, which appear useless without iExploder itself. In particular these scripts should be removed: Tools/Scripts/run-iexploder-scripts Tools/Scripts/update-iexploder-cssproperties Patch attached to remove them from the repository. I did a global search for references to them within other tools/scripts, and did not find any.
Pull request: https://github.com/WebKit/WebKit/pull/19724
Committed 269975@main (f997f0d12d7a): <https://commits.webkit.org/269975@main> Reviewed commits have been landed. Closing PR #19724 and removing active labels.
<rdar://problem/117704369>