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.
Version: 1.24rc
Severity: minor
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
Change 163465 merged by jenkins-bot:
Article: Handle double redirects in data for mediawiki.action.view.redirect
Change 166446 had a related patch set uploaded by Bartosz Dziewoński:
Article: Handle double redirects in data for mediawiki.action.view.redirect
Change 166446 merged by jenkins-bot:
Article: Handle double redirects in data for mediawiki.action.view.redirect