From 459addfb6a4605f10c9bffb0cf3683f3ca28bcfc Mon Sep 17 00:00:00 2001
From: Markerov <mark.taiwan@gmail.com>
Date: Thu, 15 Jan 2015 00:50:22 +0800
Subject: [PATCH] Displays correct file extension for videos

---
 js/post-hover.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/post-hover.js b/js/post-hover.js
index fe99ccb9..aa4f5c60 100644
--- a/js/post-hover.js
+++ b/js/post-hover.js
@@ -208,6 +208,7 @@ onready(function(){
 
 						$.each(file_array, function () {
 							var thumb_url;
+                            var file_ext = this.ext;
 
 							if (this.isImage && !this.isSpoiler) {
 								// video files uses jpg for thumbnail
@@ -220,7 +221,7 @@ onready(function(){
 							var $ele = $('<div class="file">')
 										.append($('<p class="fileinfo">')
 											.append('<span>File: </span>')
-											.append('<a>'+ this.filename + this.ext +'</a>')
+											.append('<a>'+ this.filename + file_ext +'</a>')
 											.append('<span class="unimportant"> ('+ bytesToSize(this.fsize) +', '+ this.w +'x'+ this.h +')</span>')
 										);
 							if (multifile) $ele.addClass('multifile').css('max-width', '200px');