Merge "Remove rcenhancedfilters from $wgDefaultUserOptions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 May 2019 21:12:22 +0000 (21:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 May 2019 21:12:22 +0000 (21:12 +0000)
includes/DefaultSettings.php

index 33230c8..0f7a606 100644 (file)
@@ -4873,7 +4873,6 @@ $wgDefaultUserOptions = [
        'previewonfirst' => 0,
        'previewontop' => 1,
        'rcdays' => 7,
-       'rcenhancedfilters' => 0,
        'rcenhancedfilters-disable' => 0,
        'rclimit' => 50,
        'rows' => 25, // @deprecated since 1.29 No longer used in core