Time.php

<?php
class Dsao_Time extends DateTime
{
  public function format()
  {
    return parent::format(Dsao_Registry::get('config')->defaultTimeFormat);
  }
}