Исправление обнаруженной ошибки:
В коде страницы:
Заменить
onclick="highLight(номер);"
на
onclick="tryHighLight(href);"
Изменённый файл highlight.js:
var highLighted;
function highLight(toHighLight)
{
highLighted = toHighLight;
highLighted.className = "msg highLighted";
}
function parseHash()
{
var results = location.hash.match(/^#([1-9]\d*)$/);
if (results)
{
var toHighLight = document.getElementById(results[1]);
if (toHighLight)
{
highLight(toHighLight);
}
}
}
function tryHighLight(url)
{
var parts = url.split("#");
if (parts[0] == location.href.split("#")[0])
{
var toHighLight = document.getElementById(parts[1]);
if (toHighLight != highLighted)
{
if (highLighted)
{
highLighted.className = "msg";
}
highLight(toHighLight);
}
}
}