mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
Extract user_agent from global opts
This commit is contained in:
parent
50ea9fc02d
commit
2c306227e9
9 changed files with 108 additions and 75 deletions
|
@ -193,6 +193,11 @@ pub trait EmbedderMethods {
|
|||
_: EmbedderProxy,
|
||||
) {
|
||||
}
|
||||
|
||||
/// Returns the user agent string to report in network requests.
|
||||
fn get_user_agent_string(&self) -> Option<String> {
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue