// ==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://github.com/ismailkarsli/userscripts/issues
// @version 1.0.1
// @match https://i.imgur.com/*.gifv
// @grant none
// @run-at document-start
// @downloadURL https://update.greasyfork.icu/scripts/467921/iimgurcom%20gifv%20to%20mp4.user.js
// @updateURL https://update.greasyfork.icu/scripts/467921/iimgurcom%20gifv%20to%20mp4.meta.js
// ==/UserScript==

window.location.replace(window.location.href.replace("gifv", "mp4"));