Last modified: 2014-02-24 22:45:33 UTC
Steps to reproduce: 1. Start with a blank page. 2. Go to Page settings. 3. Tick both redirect-related boxes, but don't provide a page name. 4. Apply changes. Results: It sets __STATICREDIRECT__, which is not pointful on an otherwise blank page.
Hmm. This shouldn't be possible – I think this is the same issue as bug 61864.
Change 115239 had a related patch set uploaded by Jforrester: Don't let the user set a static redirect flag on a non-redirect https://gerrit.wikimedia.org/r/115239
Change 115239 merged by jenkins-bot: Don't let the user set a static redirect flag on a non-redirect https://gerrit.wikimedia.org/r/115239