Pushing as much maps stuff into Maps as possible.

1 files changed, 1 insertions, 1 deletions

diff --git a/web/js.js b/web/js.js
index ffe6b0850..f95a57565 100644
--- a/web/js.js
+++ b/web/js.js
@@ -313,7 +313,7 @@ function load_pins(x, y) {
                             'y='  + (y+3), 
                             'all_pins=' +  all_pins ];
 
-	if (document.getElementById('extra_param')) {
+        if (document.getElementById('extra_param')) {
             ajax_params.push(document.getElementById('extra_param').name + '=' + document.getElementById('extra_param').value);
         }