Fix type, follow-up r81615
authorKrinkle <krinkle@users.mediawiki.org>
Sat, 28 May 2011 14:51:07 +0000 (14:51 +0000)
committerKrinkle <krinkle@users.mediawiki.org>
Sat, 28 May 2011 14:51:07 +0000 (14:51 +0000)
commit0079325bedea484e0c07e5ec8ebf295b8125b830
tree42dcab2ad138c94901c893927613c377f063d1e0
parentc09c22bb9fb1f3a7877331c4780fab30fe0ec566
Fix type, follow-up r81615
includes/DefaultSettings.php