diff options
| author | chansuke <chansuke@georepublic.de> | 2018-09-09 22:21:35 +0900 |
|---|---|---|
| committer | chansuke <chansuke@georepublic.de> | 2018-10-10 22:15:37 +0900 |
| commit | 7b3cf27c69f1ed2d5372e2f1e50ce2aab84e05a7 (patch) | |
| tree | c039399a0b0acaae90649a42644da87ee6dc0970 /components/script/task_source/mod.rs | |
| parent | 7a88a2e28ae20b9ce3dddaef1da25b7837088b2a (diff) | |
| download | servo-7b3cf27c69f1ed2d5372e2f1e50ce2aab84e05a7.tar.gz servo-7b3cf27c69f1ed2d5372e2f1e50ce2aab84e05a7.zip | |
Add task source for media element
Diffstat (limited to 'components/script/task_source/mod.rs')
| -rw-r--r-- | components/script/task_source/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script/task_source/mod.rs b/components/script/task_source/mod.rs index a38607bfe98..b58c0cb3191 100644 --- a/components/script/task_source/mod.rs +++ b/components/script/task_source/mod.rs @@ -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, } |