diff --git a/wp-includes/nav-menu.php b/wp-includes/nav-menu.php
index aecb7f24f..ae79cfd1a 100644
--- a/wp-includes/nav-menu.php
+++ b/wp-includes/nav-menu.php
@@ -113,6 +113,18 @@ function get_nav_menu_locations() {
 	return get_theme_mod( 'nav_menu_locations' );
 }
 
+/**
+ * Whether a registered nav menu location has a menu assigned to it.
+ *
+ * @since 3.0.0
+ * @param string $location Menu location identifier.
+ * @return bool Whether location has a menu.
+ */
+function has_nav_menu( $location ) {
+	$locations = get_nav_menu_locations();
+	return ( ! empty( $locations[ $location ] ) );
+}
+
 /**
  * Determine whether the given ID is a nav menu item.
  *