WordPress.org

Make WordPress Core

Ticket #15595: 15595.2.patch

File 15595.2.patch, 728 bytes (added by jorbin, 5 years ago)

updated whitespace

  • wp-admin/includes/plugin.php

     
    886886        $new_menu = array( $menu_title, $capability, $menu_slug, $page_title, 'menu-top ' . $hookname, $hookname, $icon_url ); 
    887887 
    888888        if ( null === $position  ) 
     889        { 
    889890                $menu[] = $new_menu; 
     891        } 
    890892        else 
     893        { 
     894                //In case of position collision, push the conflicting menu to the next open position 
     895                while( isset( $menu[$position] ) ) 
     896                { 
     897                        $position++; 
     898                } 
     899                 
    891900                $menu[$position] = $new_menu; 
    892  
     901        } 
    893902        $_registered_pages[$hookname] = true; 
    894  
     903         
    895904        // No parent as top level 
    896905        $_parent_pages[$menu_slug] = false; 
    897906