Convert cr-settings-menu to Polymer 0.8

chrome/browser/resources/settings/settings_menu/settings_menu.js

 // Copyright 2015 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
  * 'cr-settings-menu' shows a menu with the given pages.
  *
  * Example:
  *
- *     <cr-settings-menu pages="{{pages}}" selectedId="{{selectedId}}">
+ *     <cr-settings-menu pages="[[pages]]" selected-id="{{selectedId}}">
  *     </cr-settings-menu>
  *
  * @group Chrome Settings Elements
  * @element cr-settings-menu
  */
-Polymer('cr-settings-menu', {
-  publish: {
+Polymer({
+  is: 'cr-settings-menu',
+
+  properties: {
     /**
      * Pages to show menu items for.
      *
-     * @attribute pages
-     * @type Array<!Object>
-     * @default null
+     * @type {!Array<!Object>}
      */
-    pages: null,
+    pages: {
+      type: Array,
+      value: function() { return []; },
+    },
 
     /**
      * ID of the currently selected page.
-     *
-     * @attribute selectedId
-     * @type string
-     * default ''
      */
-    selectedId: '',
-  },
-
-  /** @override */
-  created: function() {
-    this.pages = [];
+    selectedId: {
+      type: String,
+      value: '',
+      notify: true,
+    },
   },
 });