/**
* A date which uses this application's formatter.
* @param integer $time Can be either a timestamp or an ISO-formatted time
* @param string $type Can be either Date_time_php or Date_time_iso
* @return DATE_TIME
*/
public function make_date_time($time = 0, $type = null)
{
$Result = new DATE_TIME($time, $type);
$this->date_time_toolkit->formatter->show_local_time = $this->local_times_allowed();
$Result->use_toolkit($this->date_time_toolkit);
return $Result;
}