servo: Merge #6714 - Implement a FileList (from boghison:filelist); r=jdm

Source-Repo: https://github.com/servo/servo Source-Revision: b7261a2073dcb66473907dbb25282f05f9bfe3d3
2015-08-01 20:16:14 -06:00
parent c302332aab
commit 5698c2dc64
4 changed files with 64 additions and 0 deletions
--- a/servo/python/tidy.py
+++ b/servo/python/tidy.py
@@ -202,6 +202,7 @@ def check_webidl_spec(file_name, contents):
        "//xhr.spec.whatwg.org",
        "//www.whatwg.org/html",
        "//www.whatwg.org/specs",
+        "//w3c.github.io",
        # Not a URL
        "// This interface is entirely internal to Servo, and should not be" +
        " accessible to\n// web pages."