mirror of
https://github.com/servo/servo.git
synced 2025-08-06 22:15:33 +01:00
Auto merge of #5850 - nox:nullary-callbacks, r=jdm
<!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/5850) <!-- Reviewable:end -->
This commit is contained in:
commit
92359c7b9a
2 changed files with 2 additions and 5 deletions
|
@ -4,7 +4,7 @@
|
|||
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
||||
*/
|
||||
|
||||
//callback BrowserElementNextPaintEventCallback = void ();
|
||||
callback BrowserElementNextPaintEventCallback = void ();
|
||||
|
||||
//dictionary BrowserElementDownloadOptions {
|
||||
// DOMString? filename;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue