Merge "*(bug 30976) Add maintenance script to remove preferences from $wgHiddenPrefs"
authorReedy <reedy@wikimedia.org>
Wed, 4 Jul 2012 22:11:18 +0000 (22:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Jul 2012 22:11:18 +0000 (22:11 +0000)

Trivial merge