From 0eb45a6e26828ac6b9a509b52db09c837bf0a5e9 Mon Sep 17 00:00:00 2001 From: Matthew Flaschen Date: Wed, 9 Jan 2013 19:43:08 -0500 Subject: [PATCH] (bug 43211) Remove unneeded noprint classes after CSS change. Change-Id: I13d17600c2307728184f57ebe32d4e54469d2743 --- skins/Vector.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/skins/Vector.php b/skins/Vector.php index c4349c6c64..ee68abb756 100644 --- a/skins/Vector.php +++ b/skins/Vector.php @@ -230,7 +230,7 @@ class VectorTemplate extends BaseTemplate {

msg( 'navigation-heading' ) ?>

-
+
renderNavigation( 'PERSONAL' ); ?>
renderNavigation( array( 'NAMESPACES', 'VARIANTS' ) ); ?> @@ -241,7 +241,7 @@ class VectorTemplate extends BaseTemplate {
-
+
-- 2.20.1