tree 1f1bf1ea807a2b868590d7f7342ba280d90813d0
parent 1f3d0a45daa48edda59135d56199f08114c23384
author Philip Jägenstedt <philip@foolip.org> 1634291719 +0200
committer GitHub <noreply@github.com> 1634291719 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhaVAHCRBK7hj4Ov3rIwAAYo0IABl3polm/1iZfOmOqNUwsEkk
 0HI+S3o4zL+VO170md9chn0+iXQscFjR2otKCVKxKHLJmBbgpI1Xxz0Ie8JLBmXp
 yb2KGXfnMhpHjAQNak6eR0crtaR/CXkcaJOpsIvtICNq15ZDfWbE4f2JiCxYTkKp
 qlnsd5S03FKNiqLcbA9JGj9z34868kqMxn9FHRZzvedIiMr3Bo8aBDt8PmU/ARhb
 VAcGxsyP8k11NoqwmmedbTlsCWpyTG1NaYN5MVQ5sErzsA7WR1rifDT+LUIBzBGM
 XPA40I5/pgxvfvRlgtf9NqivhazmwpGxgAwjnBOVBqwkddYqo9yYmGEn1HaObTY=
 =u5XI
 -----END PGP SIGNATURE-----
 

Rename WebIDL.idl to webidl.idl (#31241)

This rename has happened in @webref/idl 2.7.0:
https://github.com/web-platform-tests/wpt/pull/31237

Tests need to be adapted, so do this rename manually.