Skip to content

[PHP-8.5] Double To Float cast#7184

Closed
arshidkv12 wants to merge 17 commits intorectorphp:mainfrom
arshidkv12:8.5_DoubleToFloatCastRector
Closed

[PHP-8.5] Double To Float cast#7184
arshidkv12 wants to merge 17 commits intorectorphp:mainfrom
arshidkv12:8.5_DoubleToFloatCastRector

Conversation

@arshidkv12
Copy link
Contributor

@arshidkv12 arshidkv12 commented Aug 28, 2025

@samsonasik
Copy link
Member

There is already rename cast configured rule for it :)

new RenameCast(Double::class, Double::KIND_DOUBLE, Double::KIND_FLOAT),

@samsonasik samsonasik closed this Aug 28, 2025
@arshidkv12
Copy link
Contributor Author

😄

@github-actions
Copy link
Contributor

github-actions bot commented Feb 1, 2026

This pull request has been automatically locked because it has been closed for 150 days. Please open a new PR if you want to continue the work.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants