| Index: ui/webui/resources/js/cr/ui/page_manager/page_manager.js
|
| diff --git a/ui/webui/resources/js/cr/ui/page_manager/page_manager.js b/ui/webui/resources/js/cr/ui/page_manager/page_manager.js
|
| index ae6283a8c019a587914e1b56054ab7686f44454e..95fd02580ce3016e73efc932635583377220218d 100644
|
| --- a/ui/webui/resources/js/cr/ui/page_manager/page_manager.js
|
| +++ b/ui/webui/resources/js/cr/ui/page_manager/page_manager.js
|
| @@ -28,21 +28,21 @@ cr.define('cr.ui.pageManager', function() {
|
|
|
| /**
|
| * Root pages. Maps lower-case page names to the respective page object.
|
| - * @type {!Object.<string, !cr.ui.pageManager.Page>}
|
| + * @type {!Object<string, !cr.ui.pageManager.Page>}
|
| */
|
| registeredPages: {},
|
|
|
| /**
|
| * Pages which are meant to behave like modal dialogs. Maps lower-case
|
| * overlay names to the respective overlay object.
|
| - * @type {!Object.<string, !cr.ui.pageManager.Page>}
|
| + * @type {!Object<string, !cr.ui.pageManager.Page>}
|
| * @private
|
| */
|
| registeredOverlayPages: {},
|
|
|
| /**
|
| * Observers will be notified when opening and closing overlays.
|
| - * @type {!Array.<!cr.ui.pageManager.PageManager.Observer>}
|
| + * @type {!Array<!cr.ui.pageManager.PageManager.Observer>}
|
| */
|
| observers_: [],
|
|
|
|
|