title: Format number with dot instead of comma as thousand separator
body: <p>If I use <a href="http://php.net/number_format" rel="nofollow noreferrer"><code>number_format</code></a> to format a number like this:</p>
  
  <pre><code>$price = 1500;
  echo number_format($price);
  </code></pre>
  
  <p>Then I get output like this: <code>1,500</code></p>
  
  <p>How can I make the thousands separator be a dot instead of a comma (i.e. get <code>1.500</code> as my output instead)?</p>