function get_date_options()
 {
     if (false === $this->date_options) {
         $this->date_options = fc_get_date_options(false, true);
         //functions.template.php
     }
     return $this->date_options;
 }
function fc_date_format($ts, $fc_format, $options = false)
{
    if (false === $options) {
        $options = fc_get_date_options(false, true);
    }
    $php_date_format = php_date_format_from_fc_format($fc_format);
    $month = intval(date('n', $ts)) - 1;
    //¿F ¿M
    $dow = intval(date('w', $ts));
    //¿l ¿D
    $php_date_format = str_replace('¿F', $options->monthNames[$month], $php_date_format);
    $php_date_format = str_replace('¿M', $options->monthNamesShort[$month], $php_date_format);
    $php_date_format = str_replace('¿l', $options->dayNames[$dow], $php_date_format);
    $php_date_format = str_replace('¿D', $options->dayNamesShort[$dow], $php_date_format);
    return date($php_date_format, $ts);
}