replace with pygments php startinline