wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-11-15 11:48:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
2161 commits 171 branches 0 tags 86 MiB
Commit graph

2 commits

Author SHA1 Message Date
Petr Pchelko a3306b24df Clean up handling of user preferences 
Change-Id: I3e8f0a0be16d92a411de796b8e25df3a7760099f
 2021-09-29 10:28:03 -07:00
Petr Pchelko 9b7205599c Move math configuration methods into a service 
This is doing a bulk of the job of creating a service
for working with math modes configuration. There's
still things to do, like moving math mode names,
and perhaps depending on default user options to
provide a bit more convenience, but that will be the
next step.

Change-Id: I1259a93651920f44104f2f5135e3e620c858be8d
 2021-09-28 13:31:08 -07:00