Follow up r45698 and r45857: Add new options to $wgDefaultUserOptions

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 6a5a2da..b21a61e 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2383,6 +2383,8 @@ $wgDefaultUserOptions = array(
        'rclimit'                 => 50,
        'wllimit'                 => 250,
        'hideminor'               => 0,
+       'hidepatrolled'           => 0,
+       'newpageshidepatrolled'   => 0,
        'highlightbroken'         => 1,
        'stubthreshold'           => 0,
        'previewontop'            => 1,
@@ -2422,6 +2424,7 @@ $wgDefaultUserOptions = array(
        'watchlisthideown'        => 0,
        'watchlisthideanons'      => 0,
        'watchlisthideliu'        => 0,
+       'watchlisthidepatrolled'  => 0,
        'watchcreations'          => 0,
        'watchdefault'            => 0,
        'watchmoves'              => 0,