From bd235707acd095fdd2b079d2992923d0d732a474 Mon Sep 17 00:00:00 2001
From: "kai.giebeler" <kai.giebeler@audiotool.com>
Date: Fri, 27 Nov 2020 01:42:37 +0100
Subject: [PATCH] add WebGL to doc_valid_idents

---
 clippy_lints/src/utils/conf.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/clippy_lints/src/utils/conf.rs b/clippy_lints/src/utils/conf.rs
index fc6304118d9..95f5d33fb23 100644
--- a/clippy_lints/src/utils/conf.rs
+++ b/clippy_lints/src/utils/conf.rs
@@ -127,6 +127,7 @@ define_Conf! {
         "OAuth", "GraphQL",
         "OCaml",
         "OpenGL", "OpenMP", "OpenSSH", "OpenSSL", "OpenStreetMap",
+        "WebGL",
         "TensorFlow",
         "TrueType",
         "iOS", "macOS",