Index: post-template.php
===================================================================
--- post-template.php	(revision 15277)
+++ post-template.php	(working copy)
@@ -809,8 +809,10 @@
  * <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,7 +827,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', 'menu_id' => '', 'echo' => true, 'link_before' => '', 'link_after' => '');
 	$args = wp_parse_args( $args, $defaults );
 	$args = apply_filters( 'wp_page_menu_args', $args );
 
@@ -860,8 +862,12 @@
 
 	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;