From 7b612418955fd71502a4f43de71e9770712045e7 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Wed, 14 Jul 2010 19:19:16 +0000
Subject: [PATCH] Remove extra space.

---
 skins/Vector.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/skins/Vector.php b/skins/Vector.php
index 36926511fa..5c99165988 100644
--- a/skins/Vector.php
+++ b/skins/Vector.php
@@ -293,7 +293,7 @@ class SkinVector extends SkinTemplate {
 			// Checks if the user is logged in
 			if ( $this->loggedin ) {
 				if ( $wgVectorUseIconWatch ) {
-					$class = 'icon ';
+					$class = 'icon';
 					$place = 'views';
 				} else {
 					$class = '';
-- 
2.20.1