if (isset($options['locale'
])) { $locale =
$options['locale'
];
} $options['date_format'
] = Zend_Locale_Format::
getDateFormat($locale);
} else if ((gettype($value) !== 'string'
) and ($value !== NULL
)) { $stringValue =
(string)(is_array($value) ?
implode(' ',
$value) :
$value);
throw new Zend_Locale_Exception("Unknown dateformat type '" .
gettype($value) . "'. "
. "Format '
$stringValue' must be a valid ISO or PHP date format string."
);
} else { if (((isset($options['format_type'
]) === true
) and ($options['format_type'
] == 'php'
)) or ((isset($options['format_type'
]) === false
) and (self::
$_options['format_type'
] == 'php'
))) { $options['date_format'
] = Zend_Locale_Format::
convertPhpToIsoFormat($value);
} } break;
case 'format_type' :
if (($value != 'php'
) && ($value != 'iso'
)) { throw new Zend_Locale_Exception("Unknown date format type '
$value'. Only 'iso' and 'php'"
. " are supported."
);
} break;