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

Document generated message keys

Browse source 
Change-Id: Ie6f7dbea0726ec711fa5f23c1779b999107c7612
This commit is contained in:
Ed Sanders 2023-11-02 18:46:56 +00:00
parent 4fcc732610
commit 329235c417
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks.php
View file

@ -154,6 +154,8 @@ class Hooks implements
'type' => 'api',
];
// The following messages are generated upstream by the 'section' value
// * prefs-accessibility
$defaultPreferences['usecodemirror-colorblind'] = [
'type' => 'toggle',
'label-message' => 'codemirror-prefs-colorblind',