Hmm, this has already been the case in 3.7.0
See PR #11694

It indeed has not been proposing "Current" since we implemented the modal_menu

ok, iguess that, for that, we have to revert that one to use the other menu type

Afterthought:
We just have to change the Tip as, basically, not selecting a menu item for that field (therefore displaying Select a Menu Item ) is equal to the former Current.
Will make PR.

Well, again some new thought:

the issue is larger than that in fact.
We have multiple modal_menu types in xmls where we have also the option Default (all the redirects for example)
These Options are not taken into account in the UI. We have everywhere 'Select a Menu Item' instead.
Therefore, if we just take care of the tips, my guess is we should also take off from the xmls these now useless options, i.e. delete <option value="">JDEFAULT</option>

Obviously, the nicest solution would be to reinstate the use of the possible Option and leave the tips and xmls alone.

I tried to do that by reinstating some of my original code in the modal_menu type, but I have some issues in the sense that the option displays nicely when opening an item to edit, but we lose it if we select a menu item, then clear.

@Bakual @dgt41
What do you think/can do?

Note: the issue is not new to 3.7.2 vs 3.7.1. It was present since 3.7. imho

Please test this patch where we do respect the Option placeholder.
#16459