PHP connector for Pygments