Ticket #13979: wp-page-menu-id-arg.diff

post-template.php

@@ -809 +809 @@
  * <ul>
  * <li><strong>sort_column</strong> - How to sort the list of pages. Defaults
  * to page title. Use column for posts table.</li>
- * <li><strong>menu_class</strong> - Class to use for the div ID which contains
+ * <li><strong>menu_class</strong> - Class to use for the div Class which contains
  * the page list. Defaults to 'menu'.</li>
+ * <li><strong>menu_id</strong> - Class to use for the div ID which contains
+ * the page list. Defaults to ''.</li>
  * <li><strong>echo</strong> - Whether to echo list or return it. Defaults to
  * echo.</li>
  * <li><strong>link_before</strong> - Text before show_home argument text.</li>
@@ -825 +827 @@
  * @param array|string $args
  */
 function wp_page_menu( $args = array() ) {
-        $defaults = array('sort_column' => 'menu_order, post_title', 'menu_class' => 'menu', 'echo' => true, 'link_before' => '', 'link_after' => '');
+        $defaults = array('sort_column' => 'menu_order, post_title', 'menu_class' => 'menu', 'menu_id' => '', 'echo' => true, 'link_before' => '', 'link_after' => '');
         $args = wp_parse_args( $args, $defaults );
         $args = apply_filters( 'wp_page_menu_args', $args );
 
@@ -860 +862 @@
 
         if ( $menu )
                 $menu = '<ul>' . $menu . '</ul>';
-
-        $menu = '<div class="' . esc_attr($args['menu_class']) . '">' . $menu . "</div>\n";
+        
+        $menu_id = '';
+        if ( $args['menu_id'] != '' )
+                $menu_id = ' id="'. esc_attr($args['menu_id']) .'"';
+                
+        $menu = '<div'. $menu_id .' class="' . esc_attr($args['menu_class']) . '">' . $menu . "</div>\n";
         $menu = apply_filters( 'wp_page_menu', $menu, $args );
         if ( $args['echo'] )
                 echo $menu;