Merge pull request #12851 from bluelovers/pr/extension-time-001

chore: change extension time format
This commit is contained in:
AUTOMATIC1111 2023-08-30 08:23:11 +03:00 committed by GitHub
commit d156d5bffd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -177,7 +177,7 @@ def extension_table():
<td>{remote}</td>
<td>{ext.branch}</td>
<td>{version_link}</td>
<td>{time.asctime(time.gmtime(ext.commit_date))}</td>
<td>{time.strftime('%Y-%m-%d %H:%M:%S', time.gmtime(ext.commit_date))}</td>
<td{' class="extension_status"' if ext.remote is not None else ''}>{ext_status}</td>
</tr>
"""