From 43f1f7e8de853c0cbe994d2d3cc01fc4957c371f Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Sun, 8 Jan 2006 12:57:10 +0000
Subject: [PATCH] * Removing $wgExtraNamespaces array which defined a portal &
 portal talk   namespace, indroduced in revision 1.37 by jeluf per  
 http://meta.wikimedia.org/w/index.php?title=LanguageHe.php&diff=93344&oldid=93343
   Oddly enough, no he* wikimedia project used these and of course they  
 shouldn't be set here, so uh, killing them;)

---
 languages/LanguageHe.php | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/languages/LanguageHe.php b/languages/LanguageHe.php
index bfd5f5f93f..1d2a6ae423 100644
--- a/languages/LanguageHe.php
+++ b/languages/LanguageHe.php
@@ -27,11 +27,6 @@ require_once("LanguageUtf8.php");
 	NS_CATEGORY_TALK  => "שיחת_קטגוריה",
 ) + $wgNamespaceNamesEn;
 
-/* Custom namespaces for portal and portal_talk */
-$wgExtraNamespaces = array(
-	100 => "פורטל",
-	101 => "שיחת_פורטל");
-
 /* private */ $wgQuickbarSettingsHe = array(
 	"ללא", "קבוע משמאל", "קבוע מימין", "צף משמאל"
 );
-- 
2.20.1