Update wp-pygments.php