diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2023-06-24 13:38:11 +0200 |
|---|---|---|
| committer | Martin Robinson <mrobinson@igalia.com> | 2023-06-30 09:51:31 +0200 |
| commit | 8be014ee46077e78db21c5d73058c35a4ee65fa9 (patch) | |
| tree | 9bfd0bc11997381d792fd3015add8be9cd7abd70 /third_party/WebIDL/ext-attribute-no-value-error.patch | |
| parent | 7412e28349237055652a08a2216043d0993a3cea (diff) | |
| download | servo-8be014ee46077e78db21c5d73058c35a4ee65fa9.tar.gz servo-8be014ee46077e78db21c5d73058c35a4ee65fa9.zip | |
Create a top-level "third_party" directory
This directory now contains third_party software that is vendored into
the Servo source tree. The idea is that it would eventually hold
webrender and other crates from mozilla-central as well with a standard
patch management approach for each.
Diffstat (limited to 'third_party/WebIDL/ext-attribute-no-value-error.patch')
| -rw-r--r-- | third_party/WebIDL/ext-attribute-no-value-error.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/third_party/WebIDL/ext-attribute-no-value-error.patch b/third_party/WebIDL/ext-attribute-no-value-error.patch new file mode 100644 index 00000000000..210134d8ca6 --- /dev/null +++ b/third_party/WebIDL/ext-attribute-no-value-error.patch @@ -0,0 +1,11 @@ +--- WebIDL.py ++++ WebIDL.py +@@ -3490,7 +3490,7 @@ class IDLBuiltinType(IDLType): + [self.location, attribute.location]) + assert not self.nullable() + if not attribute.hasValue(): +- raise WebIDLError("[TreatNullAs] must take an identifier argument" ++ raise WebIDLError("[TreatNullAs] must take an identifier argument", + [attribute.location]) + value = attribute.value() + if value != 'EmptyString': |