Exchanged markdown.php by its respective version from Markdown Extra