mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
Add task source for media element
This commit is contained in:
parent
7a88a2e28a
commit
7b3cf27c69
5 changed files with 82 additions and 14 deletions
|
@ -5,6 +5,7 @@
|
|||
pub mod dom_manipulation;
|
||||
pub mod file_reading;
|
||||
pub mod history_traversal;
|
||||
pub mod media_element;
|
||||
pub mod networking;
|
||||
pub mod performance_timeline;
|
||||
pub mod remote_event;
|
||||
|
@ -29,6 +30,7 @@ pub enum TaskSourceName {
|
|||
PerformanceTimeline,
|
||||
UserInteraction,
|
||||
RemoteEvent,
|
||||
MediaElement,
|
||||
Websocket,
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue