Making WordPress.org


Ignore:
Timestamp:
08/17/2017 10:17:30 PM (7 years ago)
Author:
danielbachhuber
Message:

devhub/cli: Permit a custom navigation menu

See https://github.com/wp-cli/wp-cli/issues/4296

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/header.php

    r3657 r5820  
    2626            </div>
    2727            <div class="devhub-menu">
    28                 <?php wp_nav_menu( array(
    29                     'theme_location'  => 'devhub-menu',
     28                <?php
     29                $active_menu = is_post_type_archive( 'command' ) || is_singular( 'command' ) ? 'devhub-cli-menu' : 'devhub-menu';
     30                wp_nav_menu( array(
     31                    'theme_location'  => $active_menu,
    3032                    'container_class' => 'menu-container',
    3133                ) ); ?>
Note: See TracChangeset for help on using the changeset viewer.