From 98ae5906dd0e26b2d90d6a085d89b8ea074c6538 Mon Sep 17 00:00:00 2001 From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?= Date: Sat, 23 Apr 2005 15:55:21 +0000 Subject: [PATCH] * 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 | 10 ---------- 1 file changed, 10 deletions(-) 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" ); -- 2.20.1