Jforrester has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366615 )
Change subject: Change 'editfont' default preference to 'monospace' ...................................................................... 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 --- M includes/DefaultSettings.php M includes/Preferences.php 2 files changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/15/366615/1 diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index f35715e..ac6e558 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -4838,7 +4838,7 @@ 'date' => 'default', 'diffonly' => 0, 'disablemail' => 0, - 'editfont' => 'default', + 'editfont' => 'monospace', 'editondblclick' => 0, 'editsectiononrightclick' => 0, 'enotifminoredits' => 0, diff --git a/includes/Preferences.php b/includes/Preferences.php index 008963b..c572373 100644 --- a/includes/Preferences.php +++ b/includes/Preferences.php @@ -832,10 +832,10 @@ 'section' => 'editing/editor', 'label-message' => 'editfont-style', 'options' => [ - $context->msg( 'editfont-default' )->text() => 'default', $context->msg( 'editfont-monospace' )->text() => 'monospace', $context->msg( 'editfont-sansserif' )->text() => 'sans-serif', $context->msg( 'editfont-serif' )->text() => 'serif', + $context->msg( 'editfont-default' )->text() => 'default', ] ]; } -- To view, visit https://gerrit.wikimedia.org/r/366615 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib4c6cd7f2d98824313c2bfcdf3f71d89fc48c929 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Jforrester <jforres...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits