Merge "mediawiki.api: Add #badToken for invalidating bad cached tokens"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 May 2015 19:01:13 +0000 (19:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 May 2015 19:01:13 +0000 (19:01 +0000)
commit58e107442128b5fbd2148c321d95156358bc9e32
treee95f7d24ba8b3f399f888b146ccc3490c3941a76
parent60c718bc66740fc1a1ad9e5a5ad5abbf223001cb
parent7b05096bcae04f0b29763e8fd0cfd90b4aff0a08
Merge "mediawiki.api: Add #badToken for invalidating bad cached tokens"
resources/src/mediawiki.api/mediawiki.api.js