Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-29 16:19:14 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use patch to add arrayType in WebIDL.py (#34848)

Browse source 
* Remove directly modified arrayType changes in  WebIDL.py

Signed-off-by: Taym Haddadi <haddadi.taym@gmail.com>

* Use patch to add arrayType in WebIDL.py

Signed-off-by: Taym Haddadi <haddadi.taym@gmail.com>

---------

Signed-off-by: Taym Haddadi <haddadi.taym@gmail.com>
This commit is contained in:
Taym Haddadi 2025-01-06 21:29:36 +01:00 • committed by GitHub
parent c43762faea
commit 82bc7cb5bb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 41 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
third_party/WebIDL/update.sh vendored
View file

@ -6,6 +6,7 @@ patch < union-typedef.patch
patch < inline.patch
patch < like-as-iterable.patch
patch < builtin-array.patch
patch < array-type.patch
wget https://hg.mozilla.org/mozilla-central/archive/tip.zip/dom/bindings/parser/tests/ -O tests.zip
rm -r tests