note 129932 added to function.gmp-fact

gmp_fact() does not work, it returns an error: "Calling an undefined function gmp_fact()". ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.137 (proxied: 195.246.119.4) ---- Manual Page -- https://php.net/manual/en/function.gmp-fact.php Edit -- https://main.php.net/note/edit/129932 Del: integrated -- https://main.php.net/note/delete/129932/integrated Del: useless -- https://main.php.net/note/delete/129932/useless Del: bad code -- https://main.php.net/note/delete/129932/bad+code Del: spam -- https://main.php.net/note/delete/129932/spam Del: non-english -- https://main.php.net/note/delete/129932/non-english Del: in docs -- https://main.php.net/note/delete/129932/in+docs Del: other reasons-- https://main.php.net/note/delete/129932 Reject -- https://main.php.net/note/reject/129932 Search -- https://main.php.net/manage/user-notes.php