Index: wp-includes/post-template.php
===================================================================
--- wp-includes/post-template.php	(revision 12046)
+++ wp-includes/post-template.php	(working copy)
@@ -804,6 +804,9 @@
  * <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,7 +814,7 @@
  * @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,7 +850,7 @@
 	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;