* Removing $wgDefaultUserOptionsPt, languages shouldn't set this manually,
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sat, 23 Apr 2005 15:55:21 +0000 (15:55 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sat, 23 Apr 2005 15:55:21 +0000 (15:55 +0000)
commit98ae5906dd0e26b2d90d6a085d89b8ea074c6538
treede74dbaa876053289d6b0f81a244b0bafd74aea4
parentc951b16082a626ac6c3b7eb67be33a463f4e2d3f
* Removing  $wgDefaultUserOptionsPt, languages shouldn't set this manually,
  this particular array wasn't exported though and did nothing but waste a
  few bytes
languages/LanguagePt.php