diff options
| author | Imanol Fernandez <mortimergoro@gmail.com> | 2017-05-16 11:14:23 +0200 |
|---|---|---|
| committer | Imanol Fernandez <mortimergoro@gmail.com> | 2017-05-18 18:44:07 +0200 |
| commit | 32e23c4db4a80f8ebe01bead141c5ca04bc6b215 (patch) | |
| tree | 3062608b9ac6441f73d6507ebe4d25100e2676d1 /python | |
| parent | ac99a48aeaa184d3acdb39d249636a140c4b7393 (diff) | |
| download | servo-32e23c4db4a80f8ebe01bead141c5ca04bc6b215.tar.gz servo-32e23c4db4a80f8ebe01bead141c5ca04bc6b215.zip | |
Implement WebGL extensions.
Diffstat (limited to 'python')
| -rw-r--r-- | python/tidy/servo_tidy/tidy.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index b8229e67d96..2e19a18e4e4 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -58,6 +58,7 @@ FILE_PATTERNS_TO_IGNORE = ["*.#*", "*.pyc", "fake-ld.sh"] SPEC_BASE_PATH = "components/script/dom/" WEBIDL_STANDARDS = [ + "//www.khronos.org/registry/webgl/extensions", "//www.khronos.org/registry/webgl/specs", "//developer.mozilla.org/en-US/docs/Web/API", "//dev.w3.org/2006/webapi", |