##// END OF EJS Templates
More 'proper' way to compare with null
More 'proper' way to compare with null

File last commit:

r1019:67e2bbf8 default
r1019:67e2bbf8 default
Show More
main.js
93 lines | 2.4 KiB | application/javascript | JavascriptLexer
/*
@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.
*/
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) {
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);
});