From 58c5746e9bbed3de75a2c15957d0311be4e7ec46 Mon Sep 17 00:00:00 2001
From: Daku <dakutree@codeanimu.net>
Date: Sun, 23 Feb 2014 22:32:15 +0000
Subject: [PATCH] speed: use isset rather than identical

---
 core/basethemelet.class.php | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/core/basethemelet.class.php b/core/basethemelet.class.php
index 445ada89..94cfc159 100644
--- a/core/basethemelet.class.php
+++ b/core/basethemelet.class.php
@@ -39,19 +39,19 @@ class BaseThemelet {
 	 */
 	public function build_thumb_html(Image $image) {
 		global $config;
+
 		$i_id = (int) $image->id;
 		$h_view_link = make_link('post/view/'.$i_id);
 		$h_thumb_link = $image->get_thumb_link();
 		$h_tip = html_escape($image->get_tooltip());
 		$h_tags = strtolower($image->get_tag_list());
-		$ext = $image->ext;
-		
-		// If the file doesn't support thumbnail generation, show it at max size.
-		if($ext === 'swf' || $ext === 'svg' || $ext === 'mp4' || $ext === 'ogv' || $ext === 'webm' || $ext === 'flv'){
-			$tsize = get_thumbnail_size($config->get_int('thumb_width'), $config->get_int('thumb_height'));
-		}
-		else{
+
+		$extArr = array_flip(array('swf', 'svg', 'mp4', 'ogv', 'webm', 'flv')); //List of thumbless filetypes
+		if(!isset($extArr[$image->ext])){
 			$tsize = get_thumbnail_size($image->width, $image->height);
+		}else{
+			//Use max thumbnail size if using thumbless filetype
+			$tsize = get_thumbnail_size($config->get_int('thumb_width'), $config->get_int('thumb_height'));
 		}
 
 		$custom_classes = "";