mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
Auto merge of #8449 - paulrouget:favicon, r=jdm
mozbrowsericonchange event (Browser API) fixes #8347 <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8449) <!-- Reviewable:end -->
This commit is contained in:
commit
7f076c628b
8 changed files with 154 additions and 25 deletions
|
@ -24,6 +24,12 @@ callback BrowserElementNextPaintEventCallback = void ();
|
|||
interface BrowserElement {
|
||||
};
|
||||
|
||||
dictionary BrowserElementIconChangeEventDetail {
|
||||
DOMString rel;
|
||||
DOMString href;
|
||||
DOMString sizes;
|
||||
};
|
||||
|
||||
BrowserElement implements BrowserElementCommon;
|
||||
BrowserElement implements BrowserElementPrivileged;
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue