dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7e15c3) | patch
Change 'editfont' default preference to 'monospace'
authorJames D. Forrester <jforrester@wikimedia.org>
Thu, 20 Jul 2017 19:13:50 +0000 (12:13 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Thu, 20 Jul 2017 19:13:50 +0000 (12:13 -0700)
commitaf2a215483a8b5c7b368ea958227fecea7ef83cf
tree77ac6570b0fe37d8abb5fa359705feca26c25664tree | snapshot
parentb7e15c34a6d54fe1e0b54412e0f91d5a4805edd8commit | diff
Change 'editfont' default preference to 'monospace'

Also change the user preference order to put the default first and the
least-good option last.

Bug: T171201
Change-Id: Ib4c6cd7f2d98824313c2bfcdf3f71d89fc48c929
includes/DefaultSettings.php diff | blob | history
includes/Preferences.php diff | blob | history
Wiklou, le Wiki du Wiklou