Skip to content

Fix DomElement::attributes type#1741

Merged
isfedorov merged 1 commit intoJetBrains:masterfrom
VincentLanglet:fixDom
May 14, 2025
Merged

Fix DomElement::attributes type#1741
isfedorov merged 1 commit intoJetBrains:masterfrom
VincentLanglet:fixDom

Conversation

@VincentLanglet
Copy link
Contributor

Hi @isfedorov

The description say

A <classname>DOMNamedNodeMap</classname> containing the attributes of this node (if it is a <classname>DOMElement</classname>) or NULL otherwise.

and the signature should be the same than DomNode.

@VincentLanglet
Copy link
Contributor Author

Error seems unrelated

@isfedorov isfedorov merged commit 6f7b5bd into JetBrains:master May 14, 2025
11 of 12 checks passed
Jean85 added a commit to Jean85/phpstorm-stubs that referenced this pull request May 27, 2025
Jean85 added a commit to Jean85/phpstorm-stubs that referenced this pull request May 27, 2025

/**
* @var DOMNamedNodeMap<DOMAttr>
* @var DOMNamedNodeMap<DOMAttr>|null
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The type also need to be updated in the LanguageLevelTypeAware attribute defining the native type per PHP version.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@Jean85 was trying to revert this change so not sure we should update this somewhere else
see #1745

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants