Add a few options that were added in the past months but seems forgotten to be added...

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 1abab6f..9a42c47 100644 (file)
--- 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,