User#getOption: Check ignoreHidden before $wgHiddenPrefs
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 19 Jul 2013 02:31:33 +0000 (04:31 +0200)
committerMatmarex <matma.rex@gmail.com>
Mon, 22 Jul 2013 13:43:59 +0000 (13:43 +0000)
commitf61ef8760a181c613411da54f0cfb65f1ecf6990
treebf0b5003cb755c6fb548cb5a4dc7ce310ed66b8e
parent3b9d370b1ddc64dc9b8fb8aa7cfa7ed33db643e8
User#getOption: Check ignoreHidden before $wgHiddenPrefs

Change-Id: Icb1aab8cd8dc15387d199bb51ca2cd72de6dba88
includes/User.php