Merge "Revert "jQuery3: adding migration tool for debugging""

htdocs/lib/web.php

@@ -219,7 +219,6 @@ function smarty($javascript = array(), $headers = array(), $pagestrings = array(
     // Make jQuery accessible with $j (Mochikit has $)
     $javascript_array[] = $jsroot . 'jquery/jquery.js';
     $headers[] = '<script type="application/javascript">$j=jQuery;</script>';
-    $headers[] = '<script src="https://code.jquery.com/jquery-migrate-3.0.1.js"></script>';
 
     // If necessary, load MathJax configuration
     if (get_config('mathjax')) {