mirror of
https://github.com/servo/servo
synced 2026-05-12 09:56:50 +02:00
This PR moves devtools_traits::LogLevel to embedder_traits in preparation of upcoming work on creating a ServoDelegate and WebViewDelegate method for Console API output. Also see https://github.com/servo/servo/issues/41145 Testing: only moves code, no functional change Fixes: part of https://github.com/servo/servo/issues/41145 Signed-off-by: atbrakhi <atbrakhi@igalia.com>