@php // NON HO CAPITO COME SETTARE IL MIO VIDEO //dddx([get_defined_vars(), public_path($mp4Src)]); @endphp