Более короткий синтаксис для преобразования из списка в список ?

Question

Более короткий синтаксис для преобразования из списка в список ?

Я часто использую наборы, отсортированные наборы (всегда сохраняют их элементы в отсортированном порядке и поддерживают быструю вставку элемента), и ленивые списки.

29

parsing language-agnostic markdown tree-grammar

задан Community 23 May 2017 в 11:55

1 ответ

Другие вопросы по тегам:

parsing language-agnostic markdown tree-grammar

Похожие вопросы:

score 2 · Answer 1

Ciconia - Я нашел новый анализатор разметки для PHP.

Вам просто нужно сделать 3 вещи:

1.Установить Ciconia и проанализировать файл в соответствии с документом .
2. Добавьте соответствующую тему CSS, чтобы сделать ее красивой, например, стиль разметки github или здесь .
3. Добавьте подсветку синтаксиса javascript, например gtt javascript code prettifier .

Тогда все будет хорошо выглядеть.

Если вы хотите получить полный пример, вот мое рабочее демо для разметки в стиле github:

<?php
header("Content-Type: text/html;charset=utf-8");
require 'vendor/autoload.php';
use Ciconia\Ciconia;
use Ciconia\Extension\Gfm;

$ciconia = new Ciconia();
$ciconia->addExtension(new Gfm\FencedCodeBlockExtension());
$ciconia->addExtension(new Gfm\TaskListExtension());
$ciconia->addExtension(new Gfm\InlineStyleExtension());
$ciconia->addExtension(new Gfm\WhiteSpaceExtension());
$ciconia->addExtension(new Gfm\TableExtension());
$ciconia->addExtension(new Gfm\UrlAutoLinkExtension());
$contents = file_get_contents('Readme.md');
$html = $ciconia->render($contents);
?>
<!DOCTYPE html>
<html>
    <head>
        <title>Excel to Lua table - Readme</title>
        <script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
        <link rel="stylesheet" href="./github-markdown.css">
        <style>
            .markdown-body {
                box-sizing: border-box;
                min-width: 200px;
                max-width: 980px;
                margin: 0 auto;
                padding: 45px;
            }
        </style>
    </head>
    <body>
        <article class="markdown-body">
        <?php
            # Put HTML content in the document
            echo $html;
        ?>
        </article>
    </body>
</html>