Ticket #13041: header.php.diff
File header.php.diff, 2.2 KB (added by , 7 years ago) |
---|
-
header.php
old new 87 87 if (strpos($header, 'text/css') !== false) 88 88 echo $header."\n"; 89 89 ?> 90 <script type="text/javascript"> 91 <!-- 92 // ----------------------------------------------------------------------------- 93 // - Setup variables for use with the recommend engines 94 // ----------------------------------------------------------------------------- 95 var recommend_enabled = "<?php echo setting('recommend_enabled', null); ?>"; 96 var recommend_server = "<?php echo setting('recommend_server', null); ?>"; 97 var recommend_key = "<?php echo setting('recommend_key', null); ?>"; 98 // --> 99 </script> 90 100 91 <script type="text/javascript" src="js/prototype.js"></script>92 101 102 <!-- 103 <script type="text/javascript" src="js/prototype.js"></script> 93 104 <script type="text/javascript" src="js/jquery-1.9.1.min.js"></script> 105 --> 106 <script src="https://ajax.googleapis.com/ajax/libs/prototype/1.7.3.0/prototype.js"></script> 107 <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js"></script> 108 94 109 <script type="text/javascript"> jQuery.noConflict(); </script> 95 110 96 111 <script type="text/javascript" src="js/prototip/prototip.js"></script> … … 99 114 <script type="text/javascript" src="js/utils.js"></script> 100 115 <script type="text/javascript" src="js/AC_OETags.js"></script> 101 116 <script type="text/javascript" src="js/table_sort.js"></script> 102 103 <script type="text/javascript">104 <!--105 // -----------------------------------------------------------------------------106 // - Setup variables for use with the recommend engines107 // -----------------------------------------------------------------------------108 var recommend_enabled = <?php echo setting('recommend_enabled', null); ?>;109 var recommend_server = "<?php echo setting('recommend_server', null); ?>";110 var recommend_key = "<?php echo setting('recommend_key', null); ?>";111 // -->112 </script>113 117 <script type="text/javascript" src="js/recommend.js"></script> 118 114 119 115 120 <?php 116 121 if (!empty($headers) && is_array($headers))