jenkins-bot has submitted this change and it was merged. (
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(-)
Approvals:
Esanders: Looks good to me, approved
jenkins-bot: Verified
Jforrester: Looks good to me, but someone else must approve
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: merged
Gerrit-Change-Id: Ib4c6cd7f2d98824313c2bfcdf3f71d89fc48c929
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
