From a499360d0d8081eed24bb8dfcbe3bc1e212e7301 Mon Sep 17 00:00:00 2001
From: Marcus Crane <marcus@thingsima.de>
Date: Tue, 7 Nov 2017 18:51:29 +1300
Subject: [PATCH] Minor fix to mirror gerrit changes

---
 js/tabber.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/tabber.js b/js/tabber.js
index f50d5ef..b6599a9 100644
--- a/js/tabber.js
+++ b/js/tabber.js
@@ -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;
 				}