Changeset 5820

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

Location:

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer

Files:

• functions.php (modified) (1 diff)
• header.php (modified) (1 diff)
• scss/main.scss (modified) (1 diff)

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/functions.php

@@ -224 +224 @@
     \register_nav_menus( array(
         'devhub-menu' => __( 'Developer Resources Menu', 'wporg' ),
+        'devhub-cli-menu' => __( 'WP-CLI Commands Menu', 'wporg' ),
     ) );
 }

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

@@ -26 +26 @@
             </div>
             <div class="devhub-menu">
-                <?php wp_nav_menu( array(
-                    'theme_location'  => 'devhub-menu',
+                <?php
+                $active_menu = is_post_type_archive( 'command' ) || is_singular( 'command' ) ? 'devhub-cli-menu' : 'devhub-menu';
+                wp_nav_menu( array(
+                    'theme_location'  => $active_menu,
                     'container_class' => 'menu-container',
                 ) ); ?>

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/scss/main.scss

@@ -50 +50 @@
     }
 
-    .devhub-menu .menu {
+    .devhub-menu .menu,
+    .devhub-cli-menu .menu {
         list-style: none;
         float: right;