<?php
    $fulldate = 'Tue Feb 04 2014 09:30:00 GMT-0800 (Pacific Standard Time)';
    $dateString = preg_replace("/\([^)]+\)/","",$fulldate);
    $date = new DateTime($dateString);
    echo $date->format('Y-m-d H:i:s');
?>