Context Navigation

Changes between Version 1 and Version 2 of Ticket #42918, comment 10

-                      v1
+                      v2
 $menu[ "$position" ] = $new_menu;
 }}}
 ...was changed to...
+...was changed to use...
 {{{
 $menu[ $position ] = $new_menu;
 …
 PHP doesn't allow floats to be array keys, but it will allow strings to be, and WordPress is (perhaps unintentionally) smart enough to continue to order ints and strings-with-float-contents in the correct numerical sequence.
 I'd recommend reverting that line, perhaps to this to be even more clear that this is intentional:
+I'd recommend reverting those lines, perhaps to this to be even more clear that this is intentional:
 {{{