Remove search preferences from Special:Preferences JavaScript
authorsaper <saper@saper.info>
Sat, 31 Oct 2015 20:15:05 +0000 (21:15 +0100)
committersaper <saper@saper.info>
Sat, 31 Oct 2015 20:26:27 +0000 (21:26 +0100)
commit43faee99ff6ec54e29361a65ed65dfb4ee885e12
treecb768adbd3d1e06c117d2529b319edcc50ec572c
parent3c15f0d09880492e308e137518c4fadfec53bd5b
Remove search preferences from Special:Preferences JavaScript

Search preferences are now handled by Special:Search, not
by Special:Preferences

Bug: T54817
Change-Id: I8faabbed190a46397b35f630c031fc1b4bb6e3e1
resources/src/mediawiki.special/mediawiki.special.preferences.js