// Copied from User:Ucucha/HarvErrors.js
// and modified to disable the "no link pointing to this" error
if(window.checkLinksToCitations === undefined)
window.checkLinksToCitations = true;
jQuery(document).ready(function($) {
links = document.links;
for (i=0; i < links.length; i++)
{
href = links[i].getAttribute('href');
if (href.indexOf('#CITEREF') == 0)
if (document.getElementById(href.substring(1)) == null)
links[i].parentNode.innerHTML +=
" <strong class=error>Harv error: link from " +
href +
" doesn't point to any citation.</strong>";
}
});