attempt at fixing php pygments highlighting