Use PHP highlighting with GitHub Markdown flavor