History log of /web-master/vendor/michelf/php-markdown-extra/markdown.php (Results 1 – 2 of 2)
Revision Date Author Comments
# 48cb59d3 30-Jan-2021 Rasmus Lerdorf

A bit of PHP 7.4/8.0 cleanup


# 501bfe5d 15-Nov-2012 Peter Cowburn

lets use php-markdown-extra