+ <?php if ( $wp_customize instanceof WP_Customize_Manager ) : ?>
+ <p class="edit-selected-nav-menu" style="<?php if ( ! $nav_menu ) { echo 'display: none;'; } ?>">
+ <button type="button" class="button"><?php _e( 'Edit Menu' ) ?></button>
+ </p>
+ <?php endif; ?>