| Index: ios/web/public/reload_type.h
|
| diff --git a/ios/web/public/reload_type.h b/ios/web/public/reload_type.h
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..6ba465309d247ba8a852a15e98ffa32fc4e0c934
|
| --- /dev/null
|
| +++ b/ios/web/public/reload_type.h
|
| @@ -0,0 +1,23 @@
|
| +// Copyright 2017 The Chromium Authors. All rights reserved.
|
| +// Use of this source code is governed by a BSD-style license that can be
|
| +// found in the LICENSE file.
|
| +
|
| +#ifndef IOS_WEB_PUBLIC_RELOAD_TYPE_H_
|
| +#define IOS_WEB_PUBLIC_RELOAD_TYPE_H_
|
| +
|
| +namespace web {
|
| +
|
| +// Used to specify detailed behavior on requesting reload.
|
| +enum class ReloadType : short {
|
| + // Reloads the visible item.
|
| + NORMAL = 0,
|
| +
|
| + // Reloads the visible item using the original URL used to create it. This
|
| + // is used for cases where the user wants to refresh a page using a different
|
| + // user agent after following a redirect.
|
| + ORIGINAL_REQUEST_URL,
|
| +};
|
| +
|
| +} // namespace web
|
| +
|
| +#endif // IOS_WEB_PUBLIC_RELOAD_TYPE_H_
|
|
|