WordPress.org

Make WordPress Core

Ticket #15595: 15595.2.patch

File 15595.2.patch, 728 bytes (added by jorbin, 7 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