- Timestamp:
- 05/16/2016 07:21:22 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/wp-includes/widgets/class-wp-nav-menu-widget.php
r37040 r37437 15 15 * @see WP_Widget 16 16 */ 17 17 class WP_Nav_Menu_Widget extends WP_Widget { 18 18 19 19 /** … … 111 111 * 112 112 * @param array $instance Current settings. 113 * @global WP_Customize_Manager $wp_customize 113 114 */ 114 115 public function form( $instance ) { 116 global $wp_customize; 115 117 $title = isset( $instance['title'] ) ? $instance['title'] : ''; 116 118 $nav_menu = isset( $instance['nav_menu'] ) ? $instance['nav_menu'] : ''; … … 123 125 <p class="nav-menu-widget-no-menus-message" <?php if ( ! empty( $menus ) ) { echo ' style="display:none" '; } ?>> 124 126 <?php 125 if ( isset( $GLOBALS['wp_customize'] ) && $GLOBALS['wp_customize']instanceof WP_Customize_Manager ) {127 if ( $wp_customize instanceof WP_Customize_Manager ) { 126 128 $url = 'javascript: wp.customize.panel( "nav_menus" ).focus();'; 127 129 } else { … … 147 149 </select> 148 150 </p> 151 <?php if ( $wp_customize instanceof WP_Customize_Manager ) : ?> 152 <p class="edit-selected-nav-menu" style="<?php if ( ! $nav_menu ) { echo 'display: none;'; } ?>"> 153 <button type="button" class="button"><?php _e( 'Edit Menu' ) ?></button> 154 </p> 155 <?php endif; ?> 149 156 </div> 150 157 <?php
Note: See TracChangeset
for help on using the changeset viewer.