note 126018 added to function.settype

<?php /* This example works 4x faster than settype() function in PHP-CGI 5.4.13 and 8x faster in PHP-CGI 7.1.3(x64) for windows */ $v = '12345'; $v = (int)$v; $v = (string)$v; ?> ---- Server IP: 45.112.84.4 Probable Submitter: 45.112.85.242 (proxied: 188.163.104.240) ---- Manual Page -- https://php.net/manual/en/function.settype.php Edit -- https://main.php.net/note/edit/126018 Del: integrated -- https://main.php.net/note/delete/126018/integrated Del: useless -- https://main.php.net/note/delete/126018/useless Del: bad code -- https://main.php.net/note/delete/126018/bad+code Del: spam -- https://main.php.net/note/delete/126018/spam Del: non-english -- https://main.php.net/note/delete/126018/non-english Del: in docs -- https://main.php.net/note/delete/126018/in+docs Del: other reasons-- https://main.php.net/note/delete/126018 Reject -- https://main.php.net/note/reject/126018 Search -- https://main.php.net/manage/user-notes.php