Remove $wgBrowserBlacklist setting (deprecated, no-op)
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 4 Jul 2018 02:36:13 +0000 (19:36 -0700)
committerKrinkle <krinklemail@gmail.com>
Wed, 4 Jul 2018 21:43:16 +0000 (21:43 +0000)
commit4903284e22b008171b61bf6a7add0be7eab0efe4
tree37d7a719cfe4ac6beb925c289054f7a7b75e356a
parent40e3ec4b9239c79379067c918fccafeaacd4b334
Remove $wgBrowserBlacklist setting (deprecated, no-op)

Not used in Wikimedia Git nor elsewhere in Codesearch.

Is a deprecated no-op since 1.30.

Change-Id: If796e77e49cd42f66aa401c6d256b9e4a9826fbd
RELEASE-NOTES-1.32
includes/DefaultSettings.php