How to convert time() to the format of 09/02/2010 in PHP?

[Quadro]

\[code\]$ts = time();\[/code\]How to convert \[code\]$ts\[/code\] to the format \[code\]09/02/2010\[/code\] ?