title: PHP GMP not found when using from command line?
body: <p>When i try to use <code>php -f file.php</code> it says :</p>
  
  <pre><code>Uncaught Error: Call to undefined function gmp_init() in /file.php:10
  </code></pre>
  
  <p>However when I add the script as a function to my wordpress site, it doesn't give error and works. What can be the problem?</p>
  
  <p>Using php7.1-fpm</p>