#194 formatTime(): zeros in minutes or seconds field

v7.9
closed
Michael Kay
5
2012-10-08
2004-03-10
Michael Kay
No

When formatDateTime() or formatTime() is used to
format a time using "01" as the format picture for the
hours, minutes, or seconds field, then a zero value is
output as "0" instead of "00".

This is actually consistent with the current XSLT 2.0
specification, which defines these format pictures in
terms of xsl:number; but the spec clearly needs to be
fixed.

Source code changed (in Numberer_en). Test case
added {date084}.

Discussion