WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
107741
[Chromium] Remove unused header files in chromium/public/platform/
https://bugs.webkit.org/show_bug.cgi?id=107741
Summary
[Chromium] Remove unused header files in chromium/public/platform/
Mark Pilgrim (Google)
Reported
2013-01-23 14:46:30 PST
[Chromium] Remove unused header files in chromium/public/platform/
Attachments
Patch
(215.57 KB, patch)
2013-01-23 14:49 PST
,
Mark Pilgrim (Google)
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Mark Pilgrim (Google)
Comment 1
2013-01-23 14:49:08 PST
Created
attachment 184317
[details]
Patch
Mark Pilgrim (Google)
Comment 2
2013-01-23 14:49:19 PST
***
Bug 106227
has been marked as a duplicate of this bug. ***
WebKit Review Bot
Comment 3
2013-01-23 14:51:43 PST
Please wait for approval from
abarth@webkit.org
,
dglazkov@chromium.org
,
fishd@chromium.org
,
jamesr@chromium.org
or
tkent@chromium.org
before submitting, as this patch contains changes to the Chromium public API. See also
https://trac.webkit.org/wiki/ChromiumWebKitAPI
.
Mark Pilgrim (Google)
Comment 4
2013-01-23 14:52:00 PST
After 1-1 discussion with fishd, we've decided to abandon the attempt to add Platform/chromium to the dependent_dirs for embedders. All previous patches to that end in Chromium land will be reverted. Header files in WebKit/chromium/public/ will use relative paths to #include header files in Platform/chromium/public/.
James Robinson
Comment 5
2013-01-23 14:54:39 PST
Sorry about giving you the run-around!
Mark Pilgrim (Google)
Comment 6
2013-01-23 14:56:38 PST
It was a good idea that turned out to be more trouble than it was worth.
Tony Chang
Comment 7
2013-01-23 15:58:45 PST
(In reply to
comment #4
)
> After 1-1 discussion with fishd, we've decided to abandon the attempt to add Platform/chromium to the dependent_dirs for embedders. All previous patches to that end in Chromium land will be reverted. Header files in WebKit/chromium/public/ will use relative paths to #include header files in Platform/chromium/public/.
Should we do the same for #includes in TestRunner/public including header files in Platform/chromium/public? Then we could remove '../chromium' from the list of include_dirs and direct_dependent_settings in Platform.gyp.
Mark Pilgrim (Google)
Comment 8
2013-01-23 17:37:46 PST
(In reply to
comment #7
)
> Should we do the same for #includes in TestRunner/public including header files in Platform/chromium/public? Then we could remove '../chromium' from the list of include_dirs and direct_dependent_settings in Platform.gyp.
I would be happy to do that once this patch lands, if there is consensus.
WebKit Review Bot
Comment 9
2013-01-23 17:50:24 PST
Comment on
attachment 184317
[details]
Patch Clearing flags on attachment: 184317 Committed
r140621
: <
http://trac.webkit.org/changeset/140621
>
WebKit Review Bot
Comment 10
2013-01-23 17:50:28 PST
All reviewed patches have been landed. Closing bug.
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