// This script removes the links for all links that link to the current page.
// It replaces the same functionality that was handled by a PHP script.
// However, the site is not in PHP anymore, so we are doing this with javascript.
(function($){
var links = $('a')[0];
for (var i = 0; i < links.length; i++) {
	var el = links[i];
	if (el.href == window.location.href)
		$($(el).parent().get(0)[0]).html($(el).html());
}
})(jQuery);