| 1 |
(function(){ |
| 2 |
function hl(){var h=location.hash;if(h&&h.match(/^#L\d+$/)){ |
| 3 |
document.querySelectorAll('.git-file-content tr.highlighted').forEach(function(r){r.classList.remove('highlighted')}); |
| 4 |
var el=document.getElementById(h.slice(1));if(el)el.classList.add('highlighted'); |
| 5 |
}} |
| 6 |
window.addEventListener('hashchange',hl);hl(); |
| 7 |
})(); |
| 8 |
|