GitHub commit timestamps

Displays absolute time for commits (if less than 18 hours ago)

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

You will need to install an extension such as Tampermonkey to install this script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

// ==UserScript==
// @name        GitHub commit timestamps
// @namespace   http://rasmuswriedtlarsen.com
// @version     0.3
// @description Displays absolute time for commits (if less than 18 hours ago)
// @match       https://github.com/*
// @copyright   2014, Rasmus Wriedt Larsen
// @require     https://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js
// @require     https://cdnjs.cloudflare.com/ajax/libs/sugar/1.3.9/sugar.min.js
// ==/UserScript==

var msPrHour = 60 * 60 * 1000;

counter = 0

var updateTimes = function(event) {
    //console.log(counter++)

    $("time.js-relative-date").each( function () {
        var commitTime = new Date ($(this).attr("datetime"));
        var diff = (Date.now() - commitTime);

        newTitle = commitTime.format("{yyyy}-{MM}-{dd} {HH}:{mm}:{ss}")

        if ( diff < 18 * msPrHour)
        {
            var formattedTime = commitTime.format("{HH}:{mm}")

            $(this).html(formattedTime);
            $(this).removeClass("js-relative-date");
        }

        $(this).attr("title", newTitle)
    });
};

// setInterval( function(){$('time').change();}, 5 * 1000 );

// $('time').change();

function init()
{
  // Make sure this is really an HTML page, as Chrome runs these scripts on just about everything
  if (!(document.documentElement instanceof HTMLElement))
    return;

  updateTimes(null);
  // TODO: very hacky solution to updating when page reloads ...
  document.addEventListener("DOMNodeInserted", updateTimes, true);
}

// In Chrome 18 the document might not be initialized yet
if (document.documentElement)
  init();
else
  window.setTimeout(init, 0);