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

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:

• sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/functions.php (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' ),
     ) );
 }