Merge "Fix documentation of $wgProxyList"
authorSiebrand <siebrand@wikimedia.org>
Wed, 3 Oct 2012 15:04:36 +0000 (15:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Oct 2012 15:04:36 +0000 (15:04 +0000)
1  2 
includes/DefaultSettings.php

Simple merge