Arian Ahmadinejad fdd15213c2
chore: Change time format (#7274)
* fix: typos

* fix: remove newlines from latex delimiters

* add changeset

* chore: change time format to HH:MM:SS

* add changeset

* Revert "fix: remove newlines from latex delimiters"

This reverts commit cebfabb51cefa43c3a20362dc9b3b042c856445d.

* fix: remove accidental changes from different pr

* add changeset

* chore: change time format for player to use global formatting function

* fix: remove pipfile

* chore: use global time formatting for static video player

* chore: change to snake_case

* change

---------

Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
2024-02-01 13:23:19 -08:00
..
2024-02-01 13:23:19 -08:00
2024-01-25 16:10:24 -08:00
2024-01-25 16:10:24 -08:00
2023-10-31 04:46:02 +00:00

@gradio/utils

General functions for handling events in Gradio Svelte components

export async function uploadToHuggingFace(
		data: string,
		type: "base64" | "url"
	): Promise<string>

export function copy(node: HTMLDivElement): ActionReturn