From e4450b19af435cd70675d7457a00cafb102da04f Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Tue, 6 Jan 2009 12:06:29 +0000
Subject: [PATCH] Add a few options that were added in the past months but
 seems forgotten to be added to $wgDefaultUserOptions

---
 includes/DefaultSettings.php | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 1abab6f13b..9a42c478db 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2389,6 +2389,10 @@ $wgDefaultUserOptions = array(
 	'imagesize'               => 2,
 	'thumbsize'               => 2,
 	'rememberpassword'        => 0,
+	'nocache'                 => 0,
+	'diffonly'                => 0,
+	'showhiddencats'          => 0,
+	'norollbackdiff'          => 0,
 	'enotifwatchlistpages'    => 0,
 	'enotifusertalkpages'     => 1,
 	'enotifminoredits'        => 0,
@@ -2397,7 +2401,9 @@ $wgDefaultUserOptions = array(
 	'fancysig'                => 0,
 	'externaleditor'          => 0,
 	'externaldiff'            => 0,
+	'forceeditsummary'        => 0,
 	'showjumplinks'           => 1,
+	'justify'                 => 0,
 	'numberheadings'          => 0,
 	'uselivepreview'          => 0,
 	'watchlistdays'           => 3.0,
@@ -2405,6 +2411,8 @@ $wgDefaultUserOptions = array(
 	'watchlisthideminor'      => 0,
 	'watchlisthidebots'       => 0,
 	'watchlisthideown'        => 0,
+	'watchlisthideanons'      => 0,
+	'watchlisthideliu'        => 0,
 	'watchcreations'          => 0,
 	'watchdefault'            => 0,
 	'watchmoves'              => 0,
-- 
2.20.1