PHP-Parser icon indicating copy to clipboard operation
PHP-Parser copied to clipboard
verified publisher icon nikic

Rename Double cast to Float_

Open mttsch opened this issue 4 months ago • 0 comments

Replacement issue for #1104 targeting version 6:

With PHP's (double) cast being deprecated and already having only been an alias for the (float) cast, introduce Float_ as a replacement for the Double cast.

mttsch avatar Aug 20 '25 03:08 mttsch