tree fedf840e032e7aa96a2b04c66140154459e66821
parent a067ad69137258d06f1ef08a05a8ed3cb29eb979
author Weizhong Xia <weizhong@google.com> 1631295566 -0700
committer Blink WPT Bot <blink-w3c-test-autoroller@chromium.org> 1631296568 -0700

Rename WebIDL to webidl

WebIDL is renamed to webidl at up stream. Do this also in chromium to
unblock wpt-importer. Wpt-importer should be able to handle such cases
in future.

Bug: 1247327
Change-Id: Ib9c4ca3f4da55c6a25e56bc730a846b6fa95563b
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/3151416
Reviewed-by: Xianzhu Wang <wangxianzhu@chromium.org>
Commit-Queue: Weizhong Xia <weizhong@google.com>
Cr-Commit-Position: refs/heads/main@{#920025}