Whitespace and spelling fixes; document new options to $wgExtensionCredits.
authorThomas Bleher <tbleher@users.mediawiki.org>
Thu, 14 Feb 2008 21:23:33 +0000 (21:23 +0000)
committerThomas Bleher <tbleher@users.mediawiki.org>
Thu, 14 Feb 2008 21:23:33 +0000 (21:23 +0000)
commit0428b3174d4ce43c55c525a2523ac4bffe1d2589
tree4475841c929e1dc19ef870852efb663edee08148
parent5767c30dc123e658dfc2761d1d4e82d3b9f32382
Whitespace and spelling fixes; document new options to $wgExtensionCredits.
includes/DefaultSettings.php