WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
Bug 222496
Remove unnecessary WKMediaPlaybackState header from Xcode project file
https://bugs.webkit.org/show_bug.cgi?id=222496
Summary
Remove unnecessary WKMediaPlaybackState header from Xcode project file
Kate Cheney
Reported
2021-02-26 14:45:19 PST
This file was deleted in
https://trac.webkit.org/changeset/272923/webkit
, but a reference to it was left behind in WebKit.xcodeproj/project.pbxproj.
Attachments
Patch
(2.27 KB, patch)
2021-02-26 14:50 PST
,
Kate Cheney
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2021-02-26 14:45:40 PST
<
rdar://problem/74808525
>
Kate Cheney
Comment 2
2021-02-26 14:50:49 PST
Created
attachment 421708
[details]
Patch
Brent Fulgham
Comment 3
2021-02-26 14:54:14 PST
Comment on
attachment 421708
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=421708&action=review
> Source/WebKit/WebKit.xcodeproj/project.pbxproj:-3876 > - 49917DA6252D649E0050313F /* WKMediaPlaybackState.h */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.c.h; path = WKMediaPlaybackState.h; sourceTree = "<group>"; };
Oops! ;-)
EWS
Comment 4
2021-02-26 15:20:36 PST
Committed
r273593
: <
https://commits.webkit.org/r273593
> All reviewed patches have been landed. Closing bug and clearing flags on
attachment 421708
[details]
.
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