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_: [], |