Style and doc improvements
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 21 Jul 2010 10:56:35 +0000 (10:56 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Wed, 21 Jul 2010 10:56:35 +0000 (10:56 +0000)
commit733e1a87a858e1bb9beb5b7f642611df5b22953d
treeee25bb8bf5c3236de12b85be7127301217604934
parent79efadb25cb3f76e7b02c2cbe89dc663e7a73e1b
Style and doc improvements
includes/installer/LocalSettingsGenerator.php