菜单注册时 `add_menu_page` 的 `$position` 参数是个"浮点数陷阱":我用 `3.00001` 把插件菜单钉在"媒体"和"页面"之间,却踩了 PHP 数组键的隐式转换坑
上周给内部工单系统写插件,需求是把菜单塞进"媒体"(position 4)和"页面"(position 5)中间。第一反应:填 4.5 不就行了?结果菜单直接消失,连报错都没有。 翻源码才发现 WordPress 用的是 `$menu[ (string) $position ]`,但 PHP 数组键遇到数字字符串会强制