boards/static/js/main.js

/*
 @licstart  The following is the entire license notice for the
 JavaScript code in this page.


 Copyright (C) 2013  neko259

 The JavaScript code in this page is free software: you can
 redistribute it and/or modify it under the terms of the GNU
 General Public License (GNU GPL) as published by the Free Software
 Foundation, either version 3 of the License, or (at your option)
 any later version.  The code is distributed WITHOUT ANY WARRANTY;
 without even the implied warranty of MERCHANTABILITY or FITNESS
 FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.

 As additional permission under GNU GPL version 3 section 7, you
 may distribute non-source (e.g., minimized or compacted) forms of
 that code without the copy of the GNU GPL normally required by
 section 4, provided you include this license notice and a URL
 through which recipients can access the Corresponding Source.

 @licend  The above is the entire license notice
 for the JavaScript code in this page.
 */

if (window.Intl) {
    var LOCALE = window.navigator.language;
    var FORMATTER = new Intl.DateTimeFormat(
            LOCALE,
            {
                weekday: 'short', year: 'numeric', month: 'short', day: 'numeric',
                hour: 'numeric', minute: '2-digit', second: '2-digit'
            }
    );
}

/**
 * An email is a hidden file to prevent spam bots from posting. It has to be
 * hidden.
 */
function hideEmailFromForm() {
    $('.form-email').parent().parent().hide();
}

/**
 * Highlight code blocks with code highlighter
 */
function highlightCode(node) {
    node.find('pre code').each(function(i, e) {
        hljs.highlightBlock(e);
    });
}

/**
 * Translate timestamps to local ones for all <time> tags inside node.
 */
function translate_time(node) {
    if (window.Intl === null) {
        return;
    }

    var elements;

    if (node === null) {
        elements = $('time');
    } else {
        elements = node.find('time');
    }

    if (!elements.length) {
        return;
    }

    elements.each(function() {
        var element = $(this);
        var dateAttr = element.attr('datetime');
        if (dateAttr) {
            var date = new Date(dateAttr);
            element.text(FORMATTER.format(date));
        }
    });
}

$( document ).ready(function() {
    hideEmailFromForm();

    $("a[href='#top']").click(function() {
        $("html, body").animate({ scrollTop: 0 }, "slow");
        return false;
    });

    addImgPreview();

    addRefLinkPreview();

    highlightCode($(document));

    translate_time(null);
});