<?php

function shorten_date($input) {
    $months=array(
        "Jan","Feb","Mar","Apr",
        "May","Jun","Jul","Aug",
        "Sep","Oct","Nov","Dec");

    $year = date("Y");
    $month = date("m");
    $day = date("d");

    $input = ereg_replace("(.*):..$", "\\1", $input);
    $input = ereg_replace(" ", "/", $input);
    $seconds = substr($input, 17, 2);
    $input = substr($input, 0, 16);

    $pos = strpos($input, $year);
    if($pos===FALSE || $pos != 0)
        return $input;

    $input=ereg_replace($year."-", "", $input);

    $smon= substr($input, 0, 2) -1;
    $rmon=$months[$smon];

    $pos = strpos($input, $month."-".$day);

    $right= substr($input, 3, 8);
    $input = $rmon . " " . $right ;/*substr_replace($input, $rmon, 0, 3);*/

    if($pos===FALSE || $pos != 0) {
        return $input;
    }

    $input=substr($input, 7, 8);
    $input .= ":". $seconds;
    return $input;
}

?>