isoDateTime() and isoTime() don't use milliseconds which causes issues for uptime-kuma push notifications

[kaysond]

See louislam/uptime-kuma#1422 and louislam/uptime-kuma#1428

Without milliseconds in the format, the time information in the database can't be used to determine intervals <1 second. For example, if you have one event at 12:15:24.999 and another at 12:15:45.001, the database will record them as 12:15:24 and 12:15:45, showing a 21s time difference even though its much closer to 20s (20.002).

I think the best way to fix this is to add isoDateTimeMilliseconds() and isoTimeMilliseconds(), copying these functions

redbean-node/lib/redbean-node.ts

Lines 969 to 979 in d9e2e65

	isoDateTime(dateTime : dayjs.Dayjs | Date | undefined = undefined) : string {
	let dayjsObject;
	if (dateTime instanceof dayjs) {
	dayjsObject = dateTime;
	} else {
	dayjsObject = dayjs(dateTime);
	}
	return dayjsObject.format('YYYY-MM-DD HH:mm:ss');
	}

redbean-node/lib/redbean-node.ts

Lines 997 to 1007 in d9e2e65

	isoTime(date : dayjs.Dayjs | Date | undefined = undefined) {
	let dayjsObject;
	if (date instanceof dayjs) {
	dayjsObject = date;
	} else {
	dayjsObject = dayjs(date);
	}
	return dayjsObject.format('HH:mm:ss');
	}

redbean-node/lib/redbean-node.ts

Lines 1014 to 1017 in d9e2e65

	isDateTime(value : string) {
	let format = "YYYY-MM-DD HH:mm:ss";
	return dayjs(value, format).format(format) === value;
	}

redbean-node/lib/redbean-node.ts

Lines 1019 to 1024 in d9e2e65

	isTime(value : string) {
	// Since dayjs is not supporting time only format, so prefix a fake date to parse
	value = "2020-10-20 " + value;
	let format = "YYYY-MM-DD HH:mm:ss";
	return dayjs(value, format).format(format) === value;
	}

We'd also need to update getDataType()

redbean-node/lib/redbean-node.ts

Line 362 in d9e2e65

getDataType(value, fieldName : string = "") {

and isValidType()

redbean-node/lib/redbean-node.ts

Line 409 in d9e2e65

isValidType(columnType, valueType) {

I may be missing some functions, particularly as far as the underlying db column type. I'm pretty sure mariadb supports milliseconds in datetime, and I believe sqlite just stores it as text so it should work no problem.