editToken edit

Hello HansJie,

Your scripts User:HansJie/minervaneue.js and User:HansJie/minerva.js are no longer functional because they attempt to get an editToken from mw.user.tokens. The scripts should instead get a csrfToken. editTokens were removed from mw.user.tokens on October 3, 2019 at Phabricator during this edit as they were redundant to csrfTokens.BrandonXLF (talk) 00:06, 25 November 2019 (UTC)Reply