Last modified: 2013-08-15 15:17:04 UTC
onLoad no longer requires or even considers a token, so this is now obsolete.
It also ignored the fact that the new token may be logged out or for a different user, though this was previous OK-ish because it was only to load the content which is a read action and not a write action (hence why we fixed that API recently to no longer require a token)
Change 76860 had a related patch set uploaded by Krinkle: Removed unreachable badtoken recovery code https://gerrit.wikimedia.org/r/76860
Change 76860 merged by jenkins-bot: mw.Target: Removed unreachable badtoken recovery code https://gerrit.wikimedia.org/r/76860