asctime in logging will never output because strftime is not an attribute of time

Expexted behaviour:

Using this formatter the log output will include a timestamp.

logging.Formatter('%(asctime)s | %(name)s | %(levelname)s - %(message)s')

Like this:
Tue Feb 17 09:42:58 2009 | MAIN | INFO - test

Actual behaviour:

Timestamp will always be None
None | MAIN | INFO - test

Cause:

The formatTime() method checks for the strftime attribute, which does not exist in the Micropython implementation:

def formatTime(self, datefmt, record):
        if hasattr(time, "strftime"):
            return time.strftime(datefmt, time.localtime(record.ct))
        return None

Start by locating the logging implementation that defines Formatter.formatTime and inspect the MicroPython time API used there. Reproduce the Formatter example from the issue, then verify that a formatted record includes a timestamp instead of None and that existing logging behavior remains intact.