Rimuovere gli zeri iniziali da una data abbreviata con PHP

Question

Mi chiedevo se esiste un modo, utilizzando PHP, per modificare questo formato di data: 01.08.86 (8 gennaio 1986) in questo formato: 1.8.86.

Answer 1

<?php 

$date = "01.08.86"; 
$unix = strtotime($date); 
echo date('n.j.y', $unix); 

Answer 2

Che ne dite di una soluzione basata su regex:

$str = '01.08.86'; 
$a = array('/^0(\d+)/','/\.0(\d+)/'); 
$b = array('\1','.\1'); 
$str = preg_replace($a,$b,$str); 

// $str is now '1.8.86'