'; if( $menu_text = mfn_opts_get( 'header-menu-text' ) ){ echo ''. $menu_text .''; } else { echo ''; } echo ''; ?>