MediaWiki:Gadget-toolbar.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
fix deprecation warning |
Maintenance: mw:RL/MGU - Updated deprecated user.tokens key |
||
Riga 61:
optionname: optionname,
optionvalue: config,
token: mw.user.tokens.get( '
format: 'json'
},
| |||