Ticket #10968: post-template.php.diff

wp-includes/post-template.php

@@ -804 +804 @@
  * <li><strong>show_home</strong> - If you set this argument, then it will
  * display the link to the home page. The show_home argument really just needs
  * to be set to the value of the text of the link.</li>
+ * <li><strong>container_element</strong> - If you set this argument, it will
+ * replace the div-element containing the menu with the specified HTML element.
+ * Defaults to 'div'.</li>
  * </ul>
  *
  * @since 2.7.0
@@ -811 +814 @@
  * @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', 'echo' => true, 'link_before' => '', 'link_after' => '', 'container_element' => 'div');
         $args = wp_parse_args( $args, $defaults );
         $args = apply_filters( 'wp_page_menu_args', $args );
 
@@ -847 +850 @@
         if ( $menu )
                 $menu = '<ul>' . $menu . '</ul>';
 
-        $menu = '<div class="' . esc_attr($args['menu_class']) . '">' . $menu . "</div>\n";
+        $menu = '<'.$list_args['container_element'].' class="' . $args['menu_class'] . '">' . $menu . '</'.$list_args['container_element'].'>'."\n";
         $menu = apply_filters( 'wp_page_menu', $menu, $args );
         if ( $args['echo'] )
                 echo $menu;