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.

Sign up for GitHub

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

Jump to bottom

Remove redundant int cast #18

Merged

kelunik merged 1 commit into amphp:master from joshdifabio:patch-1

Oct 3, 2017

Contributor

joshdifabio commented Oct 3, 2017

The int cast is redundant due to the int parameter type hint. Presumably it's left over from PHP5 days.


          Remove redundant int cast

d89c7a6

kelunik merged commit 007e084 into amphp:master

Member

kelunik commented Oct 3, 2017

Thanks!

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