Minor fix to mirror gerrit changes

This commit is contained in:
Marcus Crane 2017-11-07 18:51:29 +13:00 committed by Cameron Chunn
parent 9c23e9cd34
commit a499360d0d

View file

@ -42,8 +42,8 @@
nav.on( 'click', 'a', function ( e ) {
var title = $( this ).attr( 'title' );
e.preventDefault();
if (history.pushState) {
history.pushState(null, null, '#' + title);
if ( history.pushState ) {
history.pushState( null, null, '#' + title );
} else {
location.hash = '#' + title;
}