mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-04 02:39:02 +00:00
70e3e7cc8b
The editToken key of mw.users.tokens is deprecated since MediaWiki 1.27. Bug: T233528 Change-Id: I7297e6abb159e9bb758859454b1097292e607117 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |