From d736a6af69ef2697358e774dbf635632a84e8773 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sat, 7 Jan 2006 00:37:35 +0000
Subject: [PATCH] removed useless line

---
 includes/User.php | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/includes/User.php b/includes/User.php
index 6667a610f6..187309e74d 100644
--- a/includes/User.php
+++ b/includes/User.php
@@ -1149,9 +1149,6 @@ class User {
 			$fname = 'User::getSkin';
 			wfProfileIn( $fname );
 
-			# get all skin names available
-			$skinNames = Skin::getSkinNames();
-
 			# get the user skin
 			$userSkin = $this->getOption( 'skin' );
 			$userSkin = $wgRequest->getVal('useskin', $userSkin);
-- 
2.20.1