Dev: PHP output support for markdown, as it is used on the site in a few
places