// ==UserScript==
// @name i.imgur.com gifv to mp4
// @description Redirect i.imgur.com gifv links to mp4 videos with controls
// @license MIT
// @author İsmail Karslı <cszn@pm.me> (https://ismail.karsli.net)
// @namespace https://github.com/ismailkarsli
// @homepageURL https://github.com/ismailkarsli/userscripts
// @supportURL https://githubcom/ismailkarsli/userscripts/issues
// @version 1.0.0
// @match https://i.imgur.com/*.gifv
// @grant none
// @run-at document-start
// @downloadURL none
// ==/UserScript==

const videoName = window.location.pathname.split("/").pop();
const [videoId, videoExt] = videoName.split(".");
if (videoId && videoExt === "gifv") {
	window.location.replace(`https://i.imgur.com/${videoId}.mp4`);
}