Author: mikegr
Description:
In LanguageDE.php
the line
"portal" => "Wikipedia-Portal"
should be replaced by
"portal" => "{$wgSiteName}-Portal".
Otherwise the navigation bar always contains "Wikipedia-Portal"
Version: 1.3.x
Severity: normal