It is from this post code( My 4 digit clock with a NTP time client )...
void printTime(const char s[],time_t t)
{
flag =false;
Serial.print(s);
printLeading0(hour(t));
Serial.print(":");
printLeading0(minute(t));
Serial.print(":");
printLeading0(second(t));
Serial.print(" ");
Serial.print(dayStr(weekday(t)));
Serial.print(" ");
Serial.print(day(t));
Serial.print(" ");
Serial.print(monthStr(month(t)));
Serial.print(" ");
Serial.println(year(t));
}
Thanks a Lot!