RESOLVED FIXED 164157
[DOMJIT] Rename CallDOM to CallDOMGetter 
https://bugs.webkit.org/show_bug.cgi?id=164157
Summary [DOMJIT] Rename CallDOM to CallDOMGetter
Yusuke Suzuki
Reported 2016-10-28 15:37:00 PDT
[DOMJIT] Rename CallDOM to CallDOMGetter
Attachments
Patch (53.31 KB, patch)
2016-10-28 15:38 PDT, Yusuke Suzuki 		keith_miller: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Yusuke Suzuki
Comment 1 2016-10-28 15:38:34 PDT
Created attachment 293231 [details] Patch
Keith Miller
Comment 2 2016-10-28 15:42:23 PDT
Comment on attachment 293231 [details] Patch r=me
Yusuke Suzuki
Comment 3 2016-10-28 16:00:06 PDT
Committed r208077: <http://trac.webkit.org/changeset/208077>
Note You need to log in before you can comment on or make changes to this bug.