Ticket #40927: plugin.diff
File plugin.diff, 508 bytes (added by , 4 years ago) |
---|
-
plugin.php
1098 1098 } elseif ( isset( $menu[ "$position" ] ) ) { 1099 1099 $position = $position + substr( base_convert( md5( $menu_slug . $menu_title ), 16, 10 ) , -5 ) * 0.00001; 1100 1100 $menu[ "$position" ] = $new_menu; 1101 } elseif ( 'double' === gettype( $position ) ) { 1102 $menu[ (string)$position ] = $new_menu; 1101 1103 } else { 1102 1104 $menu[ $position ] = $new_menu; 1103 1105 }