Skip to content

Fix/update extension for wp_parse_url#231

Merged
szepeviktor merged 3 commits intoszepeviktor:masterfrom
IanDelMar:wp-parse-url
Jun 28, 2024
Merged

Fix/update extension for wp_parse_url#231
szepeviktor merged 3 commits intoszepeviktor:masterfrom
IanDelMar:wp-parse-url

Conversation

@IanDelMar
Copy link
Copy Markdown
Contributor

This update to WpParseUrlFunctionDynamicReturnTypeExtension from PHPStan's extension for parse_url fixes an incorrect return type when the $component parameter is a non-constant integer. Additionally, the extension is now more specific about the port type.

@szepeviktor
Copy link
Copy Markdown
Owner

GitHub is a bit down https://www.githubstatus.com/incidents/9vwllhs2w1kj

@IanDelMar
Copy link
Copy Markdown
Contributor Author

@szepeviktor szepeviktor merged commit 9d9e32a into szepeviktor:master Jun 28, 2024
@IanDelMar IanDelMar deleted the wp-parse-url branch June 28, 2024 19:28
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.

2 participants