Index: wp-includes/post-template.php
===================================================================
--- wp-includes/post-template.php	(revision 14421)
+++ wp-includes/post-template.php	(working copy)
@@ -821,7 +821,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' => '', 'exclude' => implode( ',', get_pages( array('include_full' => false) ) );
 	$args = wp_parse_args( $args, $defaults );
 	$args = apply_filters( 'wp_page_menu_args', $args );
 
Index: wp-includes/post.php
===================================================================
--- wp-includes/post.php	(revision 14421)
+++ wp-includes/post.php	(working copy)
@@ -2951,7 +2951,7 @@
 		'meta_key' => '', 'meta_value' => '',
 		'authors' => '', 'parent' => -1, 'exclude_tree' => '',
 		'number' => '', 'offset' => 0,
-		'post_type' => 'page', 'post_status' => 'publish',
+		'post_type' => 'page', 'post_status' => 'publish', 'include_full' => true
 	);
 
 	$r = wp_parse_args( $args, $defaults );
@@ -3062,15 +3062,21 @@
 
 	$where_post_type = $wpdb->prepare( "post_type = '%s' AND post_status = '%s'", $post_type, $post_status );
 
-	$query = "SELECT * FROM $wpdb->posts $join WHERE ($where_post_type) $where ";
+	if( $include_full )
+		$query = "SELECT * FROM $wpdb->posts $join WHERE ($where_post_type) $where ";
+	else
+		$query = "SELECT ID FROM $wpdb->posts $join WHERE ($where_post_type) $where ";
 	$query .= $author_query;
 	$query .= " ORDER BY " . $sort_column . " " . $sort_order ;
 
 	if ( !empty($number) )
 		$query .= ' LIMIT ' . $offset . ',' . $number;
 
-	$pages = $wpdb->get_results($query);
-
+	if( $include_full )
+		$pages = $wpdb->get_results( $query );
+	else
+		$pages = $wpdb->get_col( $query );
+		
 	if ( empty($pages) ) {
 		$pages = apply_filters('get_pages', array(), $r);
 		return $pages;