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)
commitc5d3a6a715514b895caf301d957cfa351c8e49ca
tree684c0ccf688a11309bd6a2e6b84e379562a9aac3
parent337b0d3b0f94c74df341e57b6dfe355e09090129
parent67aa00f957265323ca0d50a709f442735cdc5fb2
Merge "*(bug 30976) Add maintenance script to remove preferences from $wgHiddenPrefs"