Try to avoid auto-submit for bots or spiders on GET

Change-Id: I862f12e88a39658ad0f96d05b6e28602c2234cbc
wikimedia · Jun 2, 2016 · 9e4d72a · 9e4d72a
1 parent d22c41f
commit 9e4d72a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/resources/frontend.js b/resources/frontend.js
@@ -7,7 +7,8 @@
 (function () {
     if (!(
         document.getElementById &&
-        'addEventListener' in window
+        'addEventListener' in window &&
+        !/bot|spider/i.test( navigator.userAgent )
     )) {
         // Unsupported browser
         return;