“wp-nav-menu” 1

Wordpress plugin that provides the shortcode [menu …] where … is the slug or id of a menu that should replace the shortcode. Optional arguments includes most of those accepted by wp_nav_menu().