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)
This preference was removed earlier, but we forgot to clean this up.

Bug: T196033
Change-Id: I449bcaf8c031d9d26a6f6be3eb0ef4abc5892611


No differences found