Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

script: Add pre element obsolete width attribute support (#31792)

Browse source
This commit is contained in:
Bastiaan van der Plaat 2024-03-25 12:36:48 +01:00 • committed by GitHub
parent bd39e03eeb
commit 97144ddf71
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 35 additions and 543 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/script/dom/webidls/HTMLPreElement.webidl
View file

@ -12,6 +12,5 @@ interface HTMLPreElement : HTMLElement {
// https://html.spec.whatwg.org/multipage/#HTMLPreElement-partial
partial interface HTMLPreElement {
// [CEReactions]
// attribute long width;
[CEReactions] attribute long width;
};