Contador de tempo

olá pessoal. tenho uma dúvida.

estou procurando algo como está neste site um contador de tempo http://www.promocoesnarede.com.br (dias, horas, minutos e segundos).

isso é feito em PHP? como posso procurar um exemplo?

obrigado.