| Index: ios/shared/chrome/browser/ui/tools_menu/tools_menu_configuration.mm
|
| diff --git a/ios/shared/chrome/browser/ui/tools_menu/tools_menu_configuration.mm b/ios/shared/chrome/browser/ui/tools_menu/tools_menu_configuration.mm
|
| index f4a4bd5ba4270cf67b20b4d6ccdce28b25c123ec..177a45d96b2cb27c81889e93602ee0b060203203 100644
|
| --- a/ios/shared/chrome/browser/ui/tools_menu/tools_menu_configuration.mm
|
| +++ b/ios/shared/chrome/browser/ui/tools_menu/tools_menu_configuration.mm
|
| @@ -18,6 +18,7 @@
|
| @synthesize noOpenedTabs = _noOpenedTabs;
|
| @synthesize inIncognito = _inIncognito;
|
| @synthesize userAgentType = _userAgentType;
|
| +@synthesize requestStartTime = _requestStartTime;
|
|
|
| - (instancetype)initWithDisplayView:(UIView*)displayView {
|
| if (self = [super init]) {
|
|
|