How to put a dot after three digits of a number

php

Solution

if you want to pretty print a number, number_format is nice

echo number_format(1254631 , 0, ',', '.');  // prints 1.254.631

the last argument is the thousands separator (dot in your case)

Problem

do you know how can i put a dot (.) after 3 digits of a number(starting from the end) in php? example: the number 1254631 to be shown as 1.254.631??

Original source