Header slider

Hi everybody,

is anyone able to tell me how I can re-add a slider next to the logo? After my latest updates to WordPress and Enfold theme, I am missing following code in the header area:

<div class='container av-logo-container'><div class='inner-container'><div class='korona'></div><div class='slider'>
<ul class='slider-banner'>
<li><a href=''><img src='/wp-content/uploads/2015/12/top01.jpg'></a></li>
<li><a href=''><img src='/wp-content/uploads/2015/12/top02.jpg'></a></li>
<li><a href=''><img src='/wp-content/uploads/2015/12/top03.jpg'></a></li>
<li><a href=''><img src='/wp-content/uploads/2015/12/top04.jpg'></a></li>
<li><a href=''><img src='/wp-content/uploads/2015/12/top05.jpg'></a></li>
<li><a href=''><img src='/wp-content/uploads/2015/12/top06.jpg'></a></li>
</ul></div>
<script>
window.start=start=function()
{
	setTimeout(function (){
		t=document.querySelector('.slider-banner li:nth-child(1)');
		t.style.opacity=0;
		setTimeout(function (){
			t=document.querySelector('.slider-banner li:nth-child(1)');
			document.querySelector('.slider-banner').appendChild(t);
			t.removeAttribute('style');
			start();
		},5000);
	},5000);

}
start();

</script>

Best regards
Rene