WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
123427
Web Inspector: Remove unused "externs" files and generators
https://bugs.webkit.org/show_bug.cgi?id=123427
Summary
Web Inspector: Remove unused "externs" files and generators
Joseph Pecoraro
Reported
2013-10-28 16:43:13 PDT
Externs is a concept we did not carry over from the old inspector since we don't allow extensions. We can remove some files related to this concept.
Attachments
[PATCH] Proposed Fix
(14.39 KB, patch)
2013-10-28 16:44 PDT
,
Joseph Pecoraro
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2013-10-28 16:43:31 PDT
<
rdar://problem/15337392
>
Joseph Pecoraro
Comment 2
2013-10-28 16:44:32 PDT
Created
attachment 215344
[details]
[PATCH] Proposed Fix
WebKit Commit Bot
Comment 3
2013-10-28 17:50:37 PDT
Comment on
attachment 215344
[details]
[PATCH] Proposed Fix Clearing flags on attachment: 215344 Committed
r158146
: <
http://trac.webkit.org/changeset/158146
>
WebKit Commit Bot
Comment 4
2013-10-28 17:50:39 PDT
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