diff options
| author | Taym Haddadi <haddadi.taym@gmail.com> | 2025-01-06 21:29:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-06 20:29:36 +0000 |
| commit | 82bc7cb5bb4c0cb53cc0011e3d8a3e120048d264 (patch) | |
| tree | b3e2a760bf586700f451d60573635f02aaedfe8e /third_party/WebIDL/update.sh | |
| parent | c43762faea97c24e6135f426fbde8224f261abf6 (diff) | |
| download | servo-82bc7cb5bb4c0cb53cc0011e3d8a3e120048d264.tar.gz servo-82bc7cb5bb4c0cb53cc0011e3d8a3e120048d264.zip | |
Use patch to add arrayType in WebIDL.py (#34848)
* 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>
Diffstat (limited to 'third_party/WebIDL/update.sh')
| -rwxr-xr-x | third_party/WebIDL/update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/WebIDL/update.sh b/third_party/WebIDL/update.sh index 6db5de807f2..949644405d2 100755 --- a/third_party/WebIDL/update.sh +++ b/third_party/WebIDL/update.sh @@ -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 |