WordPress.org

Make WordPress Core

Ticket #40927: plugin.diff

File plugin.diff, 508 bytes (added by justinbusa, 3 years ago)
  • plugin.php

     
    10981098        } elseif ( isset( $menu[ "$position" ] ) ) {
    10991099                $position = $position + substr( base_convert( md5( $menu_slug . $menu_title ), 16, 10 ) , -5 ) * 0.00001;
    11001100                $menu[ "$position" ] = $new_menu;
     1101        } elseif ( 'double' === gettype( $position ) ) {
     1102                $menu[ (string)$position ] = $new_menu;
    11011103        } else {
    11021104                $menu[ $position ] = $new_menu;
    11031105        }