From 32e23c4db4a80f8ebe01bead141c5ca04bc6b215 Mon Sep 17 00:00:00 2001
From: Imanol Fernandez <mortimergoro@gmail.com>
Date: Tue, 16 May 2017 11:14:23 +0200
Subject: Implement WebGL extensions.

---
 python/tidy/servo_tidy/tidy.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'python/tidy/servo_tidy/tidy.py')

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",
-- 
cgit v1.2.3