From: Ævar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Date: Sat, 23 Apr 2005 15:55:21 +0000 (+0000)
Subject: * Removing  $wgDefaultUserOptionsPt, languages shouldn't set this manually,
X-Git-Tag: 1.5.0alpha1~170
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/cotisations/FR:Foo?a=commitdiff_plain;h=98ae5906dd0e26b2d90d6a085d89b8ea074c6538;p=lhc%2Fweb%2Fwiklou.git

* Removing  $wgDefaultUserOptionsPt, languages shouldn't set this manually,
  this particular array wasn't exported though and did nothing but waste a
  few bytes
---

diff --git a/languages/LanguagePt.php b/languages/LanguagePt.php
index d3f16d0b2b..ef76f8b6ea 100644
--- a/languages/LanguagePt.php
+++ b/languages/LanguagePt.php
@@ -36,16 +36,6 @@
 
 ) + $wgNamespaceNamesEn;
 
-/* private */ $wgDefaultUserOptionsPt = array(
-    "quickbar" => 1, "underline" => 1,
-    "cols" => 80, "rows" => 25, "searchlimit" => 20,
-    "contextlines" => 5, "contextchars" => 50,
-    "skin" => 0, "math" => 1, "rcdays" => 7, "rclimit" => 50,
-    "highlightbroken" => 1, "stubthreshold" => 0,
-    "previewontop" => 1, "editsection"=>1,"editsectiononrightclick"=>0, "showtoc"=>1,
-    "date" => 0
-);
-
 /* private */ $wgQuickbarSettingsPt = array(
     "Nada", "Fixado �  esquerda", "Fixado �  direita", "Flutuando �  Esquerda"
 );