markdown.php and smartypants.php