| Index: chrome/browser/resources/md_user_manager/user_manager_pages.js
|
| diff --git a/chrome/browser/resources/md_user_manager/user_manager_pages.js b/chrome/browser/resources/md_user_manager/user_manager_pages.js
|
| index 434f840f1df5e703eb64518e953a8c25d685262c..752a369bae8f407f9626fabfd9d2bc4f42c9fd91 100644
|
| --- a/chrome/browser/resources/md_user_manager/user_manager_pages.js
|
| +++ b/chrome/browser/resources/md_user_manager/user_manager_pages.js
|
| @@ -5,6 +5,8 @@
|
| /**
|
| * @fileoverview 'user-manager-pages' is the element that controls paging in the
|
| * user manager screen.
|
| + *
|
| + * @element user-manager-pages
|
| */
|
| Polymer({
|
| is: 'user-manager-pages',
|
|
|