diff --git a/components/devtools_traits/lib.rs b/components/devtools_traits/lib.rs index c77fb34c6ee5..659c6983e368 100644 --- a/components/devtools_traits/lib.rs +++ b/components/devtools_traits/lib.rs @@ -119,13 +119,6 @@ pub enum DevtoolScriptControlMsg { DropTimelineMarkers(PipelineId, Vec), } -/// Messages to instruct devtools server to update its state relating to a particular -/// tab. -pub enum ScriptDevtoolControlMsg { - /// Report a new JS error message - ReportConsoleMsg(String), -} - #[derive(RustcEncodable)] pub struct Modification{ pub attributeName: String,