On frwiki, I had previously run Adiutor (version 1.2.4).
Running mw.user.options.get();
, I see Adiutor has set 3 items:
gadget-Adiutor
: a single 1 or 0 digit (not set by Adiutor, it is a MediaWiki setting).
userjs-adiutor
: a JSON object, which is less than a kilobyte.
userjs-adiutor-i18-translations
: a huge JSON object, which is dozens of kilobytes.
I have just run again Aditor, which meanwhile has been updated to version 1.2.5 (see notably this file update). There are 2 new items:
userjs-adiutor-frwiki
: migrated from userjs-adiutor
(same data, except adiutorVersion
property).
userjs-adiutor-i18-fr
: migrated from userjs-adiutor-i18-translations
(fr
property of previous item, i.e. same data minus a little metadata).
Problem is, the old items haven't been cleaned up. This is particularly a problem with userjs-adiutor-i18-translations
, which is huge and included in the HTML of every pageview.
Note that there is a major issue currently: these items cannot be deleted. For now, the best we can do is to set them to empty values. See Setting global preferences and local overrides and T207448.
By the way, as I stated above, the items are included in the HTML of every pageview. For userjs-adiutor-i18-fr
(which is a data cache), a much, much better option would be to use mediawiki.storage. (also, this would let it have an expiry time; currenly, once the translation cache has been set, it is only updated, executing updateTranslations()
, when a new default user option is found… which is unrelated.)