File Manager - /opt/alt/php83/usr/include/php/ext/gmp/
 
Filename Size Date Permissions Manage
. 2026-03-19 09:15:20 drwxr-xr-x
.. 2026-03-08 20:08:34 drwxr-xr-x
php_gmp_int.h 837 bytes 2026-03-08 20:08:35 -rw-r--r-- Delete Rename Download Edit
  | Version 2.0 | PHP 8.0.30 | Generation time: 0.01s | phpinfo() | Settings