device_time_format_platform_interface library