note 112106 added to gmp.installation

On ArchLinux php 5.4.14-1 I had to uncomment the line extension=gmp.so in /etc/php/php.ini file. Probably, restart of web server (e.g. Apache) is required if working from web. ---- Server IP: 69.147.83.199 Probable Submitter: 188.129.242.41 ---- Manual Page -- http://php.net/manual/en/gmp.installation.php Edit -- https://master.php.net/note/edit/112106 Del: integrated -- https://master.php.net/note/delete/112106/integrated Del: useless -- https://master.php.net/note/delete/112106/useless Del: bad code -- https://master.php.net/note/delete/112106/bad+code Del: spam -- https://master.php.net/note/delete/112106/spam Del: non-english -- https://master.php.net/note/delete/112106/non-english Del: in docs -- https://master.php.net/note/delete/112106/in+docs Del: other reasons-- https://master.php.net/note/delete/112106 Reject -- https://master.php.net/note/reject/112106 Search -- https://master.php.net/manage/user-notes.php