Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cast Uri@filterPort() $port parameter to string if non-null #295

Merged
merged 5 commits into from
Jun 8, 2024

Conversation

cosmastech
Copy link
Contributor

To resolve #288

@cosmastech cosmastech changed the title Cast the Uri@filterPort()$port parameter to string if non-null Cast Uri@filterPort() $port parameter to string if non-null Nov 23, 2023
src/Uri.php Show resolved Hide resolved
@l0gicgate
Copy link
Member

@cosmastech it appears that CI is failing on 8.2 now

@cosmastech
Copy link
Contributor Author

@cosmastech it appears that CI is failing on 8.2 now

This isn't related to anything I changed (and is also failing on https://github.com/slimphp/Slim-Psr7/pull/294/files). Maybe should be a separate PR to remove that phpstan rule?

@coveralls
Copy link

Coverage Status

coverage: 99.872% (+0.001%) from 99.871%
when pulling 132ae65 on cosmastech:fix/port-as-string
into 3a1dd1d on slimphp:master.

@akrabat akrabat merged commit 753e964 into slimphp:master Jun 8, 2024
5 of 6 checks passed
@akrabat
Copy link
Member

akrabat commented Jun 8, 2024

Thanks. I'm sorry that it took so long.

@cosmastech
Copy link
Contributor Author

Thanks. I'm sorry that it took so long.

No problem. Thanks for letting me contribute!

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.

$_SERVER['SERVER_PORT'] server port passed as string
4 participants