Changeset 28546

Timestamp:

05/22/2014 07:00:30 PM (11 years ago)

Author:

wonderboymusic

Message:

In WP_Customize_Manager::register_controls(), $menu_locations is set and never used.

File:

• trunk/src/wp-includes/class-wp-customize-manager.php (modified) (2 diffs)

trunk/src/wp-includes/class-wp-customize-manager.php

@@ -979 +979 @@
         $locations      = get_registered_nav_menus();
         $menus          = wp_get_nav_menus();
-        $menu_locations = get_nav_menu_locations();
         $num_locations  = count( array_keys( $locations ) );
 
@@ -1085 +1084 @@
         return $color;
     }
-};
+}
 
 /**