original_string: public static function get_current_menu_id() {
  		global $nav_menu_selected_id;
  
  		if ( ! empty( $nav_menu_selected_id ) ) {
  			return $nav_menu_selected_id;
  		}
  
  		if ( is_admin() && isset( $_REQUEST['menu'] ) ) {
  			$menu_id = absint( $_REQUEST['menu'] );
  		} else {
  			$menu_id = absint( get_user_option( 'nav_menu_recently_edited' ) );
  		}
  
  		return $menu_id;
  	}
code: public static function get_current_menu_id() {
  		global $nav_menu_selected_id;
  
  		if ( ! empty( $nav_menu_selected_id ) ) {
  			return $nav_menu_selected_id;
  		}
  
  		if ( is_admin() && isset( $_REQUEST['menu'] ) ) {
  			$menu_id = absint( $_REQUEST['menu'] );
  		} else {
  			$menu_id = absint( get_user_option( 'nav_menu_recently_edited' ) );
  		}
  
  		return $menu_id;
  	}
code_tokens: public static function get_current_menu_id ( ) { global $ nav_menu_selected_id ; if ( ! empty ( $ nav_menu_selected_id ) ) { return $ nav_menu_selected_id ; } if ( is_admin ( ) && isset ( $ _REQUEST [ 'menu' ] ) ) { $ menu_id = absint ( $ _REQUEST [ 'menu' ] ) ; } else { $ menu_id = absint ( get_user_option ( 'nav_menu_recently_edited' ) ) ; } return $ menu_id ; }
docstring: Get ID of menu being edited
  
  @since  0.7.0
  @since  0.8.0 Get the recently edited menu from user option.
  
  @return int
docstring_tokens: Get ID of menu being edited