User:David Eppstein/HarvErrors.js

// 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 +=                    " Harv error: link from " +                    href +                    " doesn't point to any citation. ";    } });