mirror of
https://github.com/servo/servo.git
synced 2025-08-08 06:55:31 +01:00
implement window.location.reload()
This commit is contained in:
parent
b737bd322e
commit
c7e5e785b2
2 changed files with 6 additions and 1 deletions
|
@ -7,6 +7,6 @@
|
|||
/*[Unforgeable]*/ interface Location {
|
||||
void assign(DOMString url);
|
||||
//void replace(DOMString url);
|
||||
//void reload();
|
||||
void reload();
|
||||
};
|
||||
Location implements URLUtils;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue