I have the following simple functions.php snippet to generate a shortcode which will add a menu to a Wordpress site. I w