@if(!defined('LOAD_CODEMIRROR')) @push('css') @endpush @php $default = [ 'mode/xml/xml.js', 'mode/css/css.js', 'mode/javascript/javascript.js', 'mode/htmlmixed/htmlmixed.js', 'addon/edit/matchbrackets.js', 'addon/edit/matchtags.js', 'addon/edit/closetag.js', 'addon/fold/xml-fold.js', 'addon/selection/active-line.js' ]; if(isset($js) && is_array($js)) { $default = array_merge($default, $js); } $js = array_unique($default); @endphp @push('js') @if(!empty($js)) @foreach($js as $script) @endforeach @endif @endpush @isset($theme) @push('css') @endpush @push('js') @endpush @endisset @php(define('LOAD_CODEMIRROR', true)) @endif