Remove rcenhancedfilters from $wgDefaultUserOptions
authorRoan Kattouw <roan.kattouw@gmail.com>
Wed, 8 May 2019 20:34:54 +0000 (13:34 -0700)
committerRoan Kattouw <roan.kattouw@gmail.com>
Wed, 8 May 2019 20:34:54 +0000 (13:34 -0700)
commit3c9f343ecbe3295490918ccd75820c41ea4da314
tree0529856a41610ca110c4b3a8b6a64f3d44798d4d
parent2cea8289f0761bc3488ab53ad059bef656790988
Remove rcenhancedfilters from $wgDefaultUserOptions

This preference was removed earlier, but we forgot to clean this up.

Bug: T196033
Change-Id: I449bcaf8c031d9d26a6f6be3eb0ef4abc5892611
includes/DefaultSettings.php