note 127181 added to function.setlocale

if someone is looking for a getlocale(), <?php if(!function_exists("getlocale")){ function getlocale(int $category)/*:string|false*/{ return setlocale($category, 0); } } ?> ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.12.131 (proxied: 193.215.175.194) ---- Manual Page -- https://php.net/manual/en/function.setlocale.php Edit -- https://main.php.net/note/edit/127181 Del: integrated -- https://main.php.net/note/delete/127181/integrated Del: useless -- https://main.php.net/note/delete/127181/useless Del: bad code -- https://main.php.net/note/delete/127181/bad+code Del: spam -- https://main.php.net/note/delete/127181/spam Del: non-english -- https://main.php.net/note/delete/127181/non-english Del: in docs -- https://main.php.net/note/delete/127181/in+docs Del: other reasons-- https://main.php.net/note/delete/127181 Reject -- https://main.php.net/note/reject/127181 Search -- https://main.php.net/manage/user-notes.php