MD user manager (learn more page, user manager tutorial)

chrome/browser/resources/md_user_manager/user_manager_pages.js

 // Copyright 2016 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.
 
 /**
  * @fileoverview 'user-manager-pages' is the element that controls paging in the
  * user manager screen.
- *
- * @element user-manager-pages
  */
 Polymer({
   is: 'user-manager-pages',
 
   properties: {
     /**
      * ID of the currently selected page.
      * @private {string}
      */
     selectedPage_: {
@@ skipping 18 matching lines @@
   /**
    * Returns True if the given page should be visible.
    * @param {string} selectedPage ID of the currently selected page.
    * @param {string} page ID of the given page.
    * @return {boolean}
    */
   isPageVisible_: function(selectedPage, page) {
     return this.selectedPage_ == page;
   }
 });