From be0799078f670c1a7e3860af8c3093791d8a9b4d Mon Sep 17 00:00:00 2001
From: Gabriel Wicke <gwicke@users.mediawiki.org>
Date: Fri, 9 Apr 2004 21:20:02 +0000
Subject: [PATCH] portal-url added

---
 languages/Language.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/languages/Language.php b/languages/Language.php
index e55ec72dd6..ba0311da31 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -457,6 +457,7 @@ $wgLanguageNamesEn =& $wgLanguageNames;
 "mainpage"		=> "Main Page",
 "mainpagetext"	=> "Wiki software successfully installed.",
 'portal'		=> 'Community portal',
+'portal-url'		=> '{{ns:4}}:Community Portal',
 "about"			=> "About",
 "aboutwikipedia" => "About {{SITENAME}}",
 "aboutpage"		=> "{{ns:4}}:About",
-- 
2.20.1