mirror of
https://github.com/servo/servo.git
synced 2025-08-10 16:05:43 +01:00
Prefer HTTPS when linking to GitHub Pages
This commit was generated using the following commands: ``` find . -iname "*.webidl" -type f -print0 | xargs -0 sed -i '' 's/http:\(.*\)github.io/https:\1github.io/g' ``` ``` find . -iname "*.rs" -type f -print0 | xargs -0 sed -i '' 's/http:\(.*\)github.io/https:\1github.io/g' ```
This commit is contained in:
parent
525d483b82
commit
109e3219a4
5 changed files with 11 additions and 11 deletions
|
@ -149,7 +149,7 @@ interface WindowLocalStorage {
|
|||
};
|
||||
Window implements WindowLocalStorage;
|
||||
|
||||
// http://w3c.github.io/animation-timing/#Window-interface-extensions
|
||||
// https://w3c.github.io/animation-timing/#Window-interface-extensions
|
||||
partial interface Window {
|
||||
long requestAnimationFrame(FrameRequestCallback callback);
|
||||
void cancelAnimationFrame(long handle);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue