revert r108508 which reverted for no good reason
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 11 Jan 2012 14:11:06 +0000 (14:11 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 11 Jan 2012 14:11:06 +0000 (14:11 +0000)
commitf93a0bbc56ce51f0b230bc40e736d323923c6664
tree087baec9f126553220198c916fa4978965bddcea
parent9e9b3a219c50f4ad8d50aed5d44b33c9411082c8
revert r108508 which reverted for no good reason
includes/DefaultSettings.php
includes/GlobalFunctions.php