ext/standard: "double" is not deprecated for `settype()`#20694

DanielEScherzer wants to merge 1 commit intophp:masterphp/php-src:masterfrom

DanielEScherzer:settype-doubleDanielEScherzer/php-src:settype-doubleCopy head branch name to clipboard