Closed Bug 1590417 Opened 5 years ago Closed 5 years ago

Remove dead code: unused HTMLMediaElement::GetTopLevelPrincipal

Categories

(Core :: DOM: Core & HTML, task)

task
Not set
normal

Tracking

()

RESOLVED FIXED
mozilla72
Tracking Status
firefox72 --- fixed

People

(Reporter: robwu, Assigned: robwu)

References

Details

Attachments

(1 file)

The only consumer of HTMLMediaElement::GetTopLevelPrincipal was removed in https://hg.mozilla.org/mozilla-central/rev/470dc6922fa2

So let's remove it, so there is one thing less to worry about when auditing uses of topLevelPrincipal (bug 1587743)

Pushed by rob@robwu.nl:
https://hg.mozilla.org/integration/autoland/rev/3daed546d6cf
Remove unused HTMLMediaElement::GetTopLevelPrincipal r=Ehsan
Status: ASSIGNED → RESOLVED
Closed: 5 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla72
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: