@jaimieolmstead on WordPress.org
Mentioned in [30627] on Core SVN:Use the correct type (integer) for the `$menu_id` parameter in the `wp_get_nav_menu_to_edit()` DocBlock.