xref: /php-src/ext/gmp/gmp.stub.php (revision 98fb565c)

Error reading file