wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-27 15:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

extension.json: set default user option for usecodemirror-colorblind

Browse source 
This preference doesn't have a default value, meaning any and all values
are saved when it should only save if it doesn't match the default. This
causes bloat to the user_properties table (see T286270 for the same
situation that happened with the 'usecodemirror' preference).

This patch sets a default value so that only values different than it
are stored.

Bug: T286270
Change-Id: Ie9fc1f4265a6f6df2bc2cc4e99ad4294a76e2769
This commit is contained in:
MusikAnimal 2024-11-13 02:04:03 -05:00
parent a1415b27ac
commit 5d6d0ba56a
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -333,7 +333,8 @@
}, },
"ForeignResourcesDir": "resources/lib", "ForeignResourcesDir": "resources/lib",
"DefaultUserOptions": { "DefaultUserOptions": {
"usecodemirror": 0 "usecodemirror": 0,
"usecodemirror-colorblind": 0
}, },
"QUnitTestModule": { "QUnitTestModule": {
"localBasePath": "resources/legacy/mode/mediawiki/tests", "localBasePath": "resources/legacy/mode/mediawiki/tests",