✏️ Editing: mysql_time.h