Merge pull request #5765 from MrPetovan/bug/php7-remove-pear-text_highlighter

[php7] Remove PHP code highlighting
This commit is contained in:
Michael Vogel 2018-09-18 18:34:46 +00:00 committed by GitHub
commit bd0515714c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 102 additions and 344 deletions

View file

@ -32,6 +32,7 @@ class Markdown extends BaseObject
$MarkdownParser = new MarkdownExtra();
$MarkdownParser->hard_wrap = $hardwrap;
$MarkdownParser->code_class_prefix = 'language-';
$html = $MarkdownParser->transform($text);
self::getApp()->save_timestamp($stamp1, "parser");