Что означает <# в HTML?

Question

Я получил следующий HTML-код в PHP-коде:

    <?php
    /* First part of a PHP script */
    ?>
            <div>
                <ul class="xyz cat-xyz-<?php echo $settings['post_id']; ?>">
                    <#
                    var allTxt = settings.all_text;
                    var tax = settings.taxonomy;
                    print('<li class="abc abc-active">'+allTxt+'</li>');
                    print('<li class="abc">'+tax+' 1</li>');
                    print('<li class="abc">'+tax+' 2</li>');
                    #>
                </ul>
            </div>
    <?php
    /* Rest of the PHP script */ 

Это ошибка? Если нет - что это делает? Это не похоже на действительный HTML или JS.

Answer 1

Я получил ответ:

Это потому, что это не HTML, а магистральный JavaScript. См. Документы Elementor

Добавлен тег Elementor в надежде, что он поможет другим.