Page [[Foo]] is protected
Page [[Bar]] not protected
Being an admin, move [[Bar]] to [[Foo]] with auto deletion of existing page.
[[Foo]] is no longer protected.
It should stay protected or at least ask to keep or remove the protection along with the deletion confirmation.
Experienced it twice while merging sandbox to main page in elwiki (I believed I reported it first time but it seems that I didn't).