From 324b0522f2160838246b7736ffc6aba6be398599 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= <nikerabbit@users.mediawiki.org>
Date: Tue, 28 Jul 2009 17:32:26 +0000
Subject: [PATCH] * Fix for r53874, missing file

---
 includes/DefaultSettings.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index f673686f53..2c981eb85d 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2625,7 +2625,8 @@ $wgDefaultUserOptions = array(
 	'noconvertlink'           => 0,
 	'gender'                  => 'unknown',
 	'ccmeonemails'            => 0,
-	'disablemail'			  => 0,
+	'disablemail'             => 0,
+	'editfont'                => 'default',
 );
 
 /**
-- 
2.20.1