Last modified: 2014-10-13 18:09:46 UTC
mediawiki.action.view.redirect.js is not idempotent when used on double redirect, on a wiki where $wgMaxRedirects is 1 (the default). Refreshing the redirect page redirects the user further in the chain. To reproduce, create redirect chain A → B → C, then visit A. Observe that you're seeing B. Refresh the page, you're seeing C now. We probably need to add ?redirect=no to the URL in some cases.
This is apparently noticeable/problematic enough that people notice it and complain on VPT, so I guess I'm going to fix it myself…
Change 163465 had a related patch set uploaded by Bartosz Dziewoński: Article: Handle double redirects in data for mediawiki.action.view.redirect https://gerrit.wikimedia.org/r/163465
Change 163465 merged by jenkins-bot: Article: Handle double redirects in data for mediawiki.action.view.redirect https://gerrit.wikimedia.org/r/163465
Change 166446 had a related patch set uploaded by Bartosz Dziewoński: Article: Handle double redirects in data for mediawiki.action.view.redirect https://gerrit.wikimedia.org/r/166446
Change 166446 merged by jenkins-bot: Article: Handle double redirects in data for mediawiki.action.view.redirect https://gerrit.wikimedia.org/r/166446