Well, I am sure there is a far easier way to do this with a built in function but hav'nt found it yet.
Here is a function I wrote which should do the same thing.
function f_timestamp($ts_in) {
$et = $ts_in;
$eY = substr($et,0, 4);
$eD = substr($et, 4, 2);
$eM = substr($et, 6, 2);
$eT1 = substr($et, 8, 2);
$eT2 = substr($et, 10, 2);
$eT3 = substr($et, 12, 2);
$et2 = $eY."-".$eD."-".$eM." ".$eT1.":".$eT2.":".$eT3;
$ts_out = date("d-M-Y", strtotime($et2));
echo $ts_out;
}
f_timestamp($mytimestring);