WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
263900
Remove unused iExploder scripts.
https://bugs.webkit.org/show_bug.cgi?id=263900
Summary
Remove unused iExploder scripts.
Daniel Jalkut
Reported
2023-10-30 10:13:33 PDT
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.
Attachments
patch to remove unused scripts
(9.58 KB, patch)
2023-10-30 10:13 PDT
,
Daniel Jalkut
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Daniel Jalkut
Comment 1
2023-10-30 10:19:30 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/19724
EWS
Comment 2
2023-10-30 13:57:46 PDT
Committed
269975@main
(f997f0d12d7a): <
https://commits.webkit.org/269975@main
> Reviewed commits have been landed. Closing PR #19724 and removing active labels.
Radar WebKit Bug Importer
Comment 3
2023-10-30 13:58:30 PDT
<
rdar://problem/117704369
>
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug