Update to php-markdown Extra v1.2.7

(includes Markdown v1.0.1q) [11 Apr 2013]