* 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 d3f16d0..ef76f8b 100644 (file)
--- 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"
 );