xref: /php-src/ext/gmp/gmp.stub.php (revision 17ceed9a)

Error reading file