[Mediawiki-l] Where did "Update any redirects that point to the original title" go?

[Daniel Barrett]

We just updated from 1.13.2 to 1.14.0 and I see that a feature has disappeared from Special:MovePage.  It used to display a checkbox, "Update any redirects that point to the original title."  Now that checkbox is gone, even when a page has redirects.  Is this a regression error?  That checkbox is great - it reduced our double-redirects significantly.

DanB