Convert cr-settings-menu to Polymer 0.8

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

Index: chrome/browser/resources/settings/settings_menu/settings_menu.js
diff --git a/chrome/browser/resources/settings/settings_menu/settings_menu.js b/chrome/browser/resources/settings/settings_menu/settings_menu.js
index ec2108a9e00f50041aba437abd64d9ec9a2a35cb..acb05046f5d9757f1a405a3e015d28877e033f8c 100644
--- a/chrome/browser/resources/settings/settings_menu/settings_menu.js
+++ b/chrome/browser/resources/settings/settings_menu/settings_menu.js
@@ -8,35 +8,32 @@
  *
  * 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<!HTMLElement>}
      */
-    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,
+    },
   },
 });