HomePhabricator

mediawiki.api: Add #badToken for invalidating bad cached tokens