note 129180 added to function.is-int

<?php function isInt(mixed $int): bool { return gettype($int) === 'integer'; } ---- Server IP: 45.112.84.4 Probable Submitter: 45.91.157.134 (proxied: 88.73.119.39) ---- Manual Page -- https://php.net/manual/en/function.is-int.php Edit -- https://main.php.net/note/edit/129180 Del: integrated -- https://main.php.net/note/delete/129180/integrated Del: useless -- https://main.php.net/note/delete/129180/useless Del: bad code -- https://main.php.net/note/delete/129180/bad+code Del: spam -- https://main.php.net/note/delete/129180/spam Del: non-english -- https://main.php.net/note/delete/129180/non-english Del: in docs -- https://main.php.net/note/delete/129180/in+docs Del: other reasons-- https://main.php.net/note/delete/129180 Reject -- https://main.php.net/note/reject/129180 Search -- https://main.php.net/manage/user-notes.php