| Index: ui/webui/resources/js/cr/ui/page_manager/page.js
|
| diff --git a/ui/webui/resources/js/cr/ui/page_manager/page.js b/ui/webui/resources/js/cr/ui/page_manager/page.js
|
| index f0aff3a9bc441cd963da0e8fe7d2e920861cc57b..ab9bcc1fd52284cb531bb499bb017afc25871b47 100644
|
| --- a/ui/webui/resources/js/cr/ui/page_manager/page.js
|
| +++ b/ui/webui/resources/js/cr/ui/page_manager/page.js
|
| @@ -23,7 +23,7 @@ cr.define('cr.ui.pageManager', function() {
|
| this.name = name;
|
| this.title = title;
|
| this.pageDivName = pageDivName;
|
| - this.pageDiv = $(this.pageDivName);
|
| + this.pageDiv = getRequiredElement(this.pageDivName);
|
| // |pageDiv.page| is set to the page object (this) when the page is visible
|
| // to track which page is being shown when multiple pages can share the same
|
| // underlying div.
|
|
|