Optimise scrolling -> Delete heavy useless JS

(cherry picked from commit 029fcbf4)

js/core.js

@@ -164,15 +164,3 @@ $(document).ready(function() {
         }
     });
 });
-
-// Vote form moving to the top or to the bottom
-$(window).scroll(function() {
-    var $table_offset = $('.results thead').offset();
-    if(($table_offset == undefined || $(window).scrollTop() > $table_offset.top+150) && ($('table.results').height()-150 > $(window).height())) {
-        $('#addition').before($('#vote-form'));
-        $('#tableContainer').after($('.scroll-buttons'));
-    } else {
-        $('.results tbody').prepend($('#vote-form'));
-        $('#tableContainer').before($('.scroll-buttons'));
-    }
-});